Certora / gambitLinks
Using mutations to improve specs and test suites
☆192Updated 3 months ago
Alternatives and similar repositories for gambit
Users that are interested in gambit are comparing it to the libraries listed below
Sorting:
- Symbolic stack CFG generator for EVM☆187Updated 6 months ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆128Updated 11 months ago
- Tools for Yul.☆138Updated 2 years ago
- ☆93Updated last year
- Replay and track historical state☆207Updated 6 months ago
- ☆165Updated 2 years ago