PrototypeCommune
Certora/gambit
Using mutations to improve specs and test suites
- Propriétaire
- Certora (organisation)
- Étoiles
- Étoiles : 214
- Forks
- Forks : 13
- Langage
- Rust
- Licence
- MIT
- Création
- 2022
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de Certora
Les 4 dépôts de Certora- Certora/CertoraProverÉtoiles : 339KotlinAlpha
- Certora/TutorialsÉtoiles : 248SolidityPrototype
- Certora/ExamplesÉtoiles : 211SolidityPrototype
D’autres dépôts Rust
Tous les dépôts Rust- rcd27/blockcheckwÉtoiles : 214RustPrototype
- reco-tools/ritridataÉtoiles : 214RustPrototype
- crmne/fastframeÉtoiles : 214RustPrototype
- rustache/rustacheÉtoiles : 214RustPrototype
- desbma/hddfancontrolÉtoiles : 214RustPrototype
- rschmitt/heatseekerÉtoiles : 214RustPrototype