Samwise/qol update - Githubissues

Certora / gambit

Using mutations to improve specs and test suites

MIT License

165 stars 8 forks source link

Closed stp59 closed 1 year ago

stp59 commented 1 year ago

QOL Update to Gambit. Adds:

more tests
sanity check benchmark tests run in a python script
better error handling for gambit CLI
results.json output file, with conveniently serialized metadata about the mutation execution