- Home
- Mutation Testing Tools
- Gambit
On the recordRead 7 Oct 202626 facts
Gambit
On the record
- Certora Prover integration
- Gambit mutations can be used with the Certora Prover to evaluate formal specifications as well as tests.certora.com · read 7 Oct 2026
- Command line
- Gambit provides `mutate` to generate mutants and `summary` to summarize generated mutants.github.com · read 7 Oct 2026
- Commands
- Gambit provides mutate for generating mutants and summary for presenting generated mutants in a human-readable format.github.com · read 7 Oct 2026
- Compiler requirement
- Gambit uses the Solidity compiler `solc` and requires a compatible binary for the project being mutated.github.com · read 7 Oct 2026
- Dashboard
- Gambit results can be viewed in a dashboard that summarizes mutant verification results and computes a specification score.certora.com · read 7 Oct 2026
- Formal specifications
- Gambit mutants can be used to evaluate both tests and formal specifications.certora.com · read 7 Oct 2026
- How it works
- Gambit introduces faults called mutants into selected contracts and measures whether a test suite detects them.certora.com · read 7 Oct 2026
- Installation
- Prebuilt binaries are available for Linux x86-64 and Mac; Windows and Linux ARM users must build from source.github.com · read 7 Oct 2026
- Intended users
- The maker describes Gambit as usable on any Solidity project.certora.com · read 7 Oct 2026
- License
- The Gambit GitHub repository identifies its license as MIT.github.com · read 7 Oct 2026
- Maker
- Gambit is built and maintained as an open-source project by the Certora team.certora.com · read 7 Oct 2026
- Mutant detection
- Gambit measures how well a test suite detects generated mutants, with more detected mutants indicating a stronger suite.certora.com · read 7 Oct 2026
- Mutant generation
- Gambit applies predefined syntax transformations to Solidity source code to generate program variants called mutants.github.com · read 7 Oct 2026
- Mutation generation
- Gambit traverses a Solidity program’s abstract syntax tree to identify valid mutation points and generate variable mutants.certora.com · read 7 Oct 2026
- Mutation limits
- The README lists function-call mutation and swap-arguments-function mutation as disabled operators.github.com · read 7 Oct 2026
- Mutation points
- Gambit traverses a Solidity program's abstract syntax tree to identify valid mutation points.certora.com · read 7 Oct 2026
- Mutation selection
- Users can customize and localize mutations to specific program parts using a declarative configuration language.certora.com · read 7 Oct 2026
- Other tools
- The maker describes Gambit as usable with Solidity testing and verification tools generally, and with any Solidity project.certora.com · read 7 Oct 2026
