Gambit introduces faults, called mutants, to the contract you choose to test and measures your test suite’s ability to detect these mutants. The more mutants a test suite detects, or kills, the better the test suite is.
Solidity
/app/contracts/BallGame.sol
Solidity Mutation
/mutations/BallGame.sol
Gambit is an open source tool that can be used on any Solidity project. Gambit is built by the Certora team and we are committed to maintaining and updating Gambit as an open source project into the future.
View on GitHub
→Mutations generated by Gambit can be used to evaluate both tests as well as formal specifications. This means that if you already running tools like Certora Prover, you can utilize Gambit to ensure the strength of your rules.
Learn about Prover
→Gambit is easy to run with our command line tools, and results can be conveniently viewed using the Gambit dashboard. You'll get insights on each violation to help you write better tests.
Gambit Dashboard
Learn about some of the features that Gambit has to offer
Next steps for better tests
Get a brief introduction to how you can start using Gambit in our introductory blog post.
Read Now
Dive into the documentation to learn how you can get setup to run Gambit and use the tool to effectively evaluate your testing suite.
Go to Docs
View the code on GitHub to take a look under the hood, or to open a pull request to make a contribution to the project.
View on GitHub