A tool for automatically generating mutants for Solidity #6
chandrakananandi
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Gambit is a tool for automatically mutating Solidity programs in order to strengthen and evaluate specifications and test suites.
This discussion was created from the release A tool for automatically generating mutants for Solidity.
Beta Was this translation helpful? Give feedback.
All reactions