search

open-contracting / software-development-handbook

A guide for developers of OCP's tools
https://ocp-software-handbook.readthedocs.io/en/latest/
Other
4 stars 1 forks source link

Rust testing: nextest, cargo-mutants, kani #105

Open jpmckinney opened 8 months ago

jpmckinney commented 8 months ago

Evaluate https://nexte.st for use.

Some other testing crates:

https://crates.io/crates/kani-verifier https://github.com/model-checking/kani https://mutants.rs/ https://github.com/sourcefrog/cargo-mutants