~marcoceppi/charm-tools/readme-fix

129.1.2 by Clint Byrum
Adding charm proof tests
1
tests/proof/results/*