Look into nextest, cargo-mutants, kani (Rust testing)

[jpmckinney]

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