PrototypeCommon
Certora/gambit
Using mutations to improve specs and test suites
- Owner
- Certora (organization)
- Stars
- Stars: 214
- Forks
- Forks: 13
- Language
- Rust
- License
- MIT
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by Certora
All 4 repos by Certora- Certora/CertoraProverStars: 339KotlinAlpha
- Certora/TutorialsStars: 248SolidityPrototype
- Certora/ExamplesStars: 211SolidityPrototype
Nearby in Rust
All Rust repos- dstrml/wuStars: 214RustPrototype
- reco-tools/ritridataStars: 214RustPrototype
- tony3liu/eidoStars: 214RustPrototype
- rustache/rustacheStars: 214RustPrototype
- desbma/hddfancontrolStars: 214RustPrototype
- rschmitt/heatseekerStars: 214RustPrototype