A tool for automatically generating mutants for Solidity
·
294 commits
to master
since this release
Gambit is a tool for automatically mutating Solidity programs in order to strengthen and evaluate specifications and test suites.