Gambit

Open Source

Gambit rewrites Solidity with mutation operators, such as turning a + b into a - b, and writes the mutants to disk. Use gambit mutate when you want to see whether a test suite or a formal spec still fails on those edits; it needs a compatible solc.

About

Certora's Gambit docs describe a Rust mutation system that applies syntax operators, for example changing a + b to a - b, and writes the mutants for a later test or specification run. The documented command is gambit mutate, and it needs a compatible solc.