diff --git a/README.md b/README.md index d51dcd37b..e96b90ed1 100644 --- a/README.md +++ b/README.md @@ -149,7 +149,7 @@ Unit and integration tests are available for those interested, along with benchm developers, especially new contributors looking for something to work on, we do: - Fuzz testing with [`Hongfuzz`](https://github.com/rust-fuzz/honggfuzz-rs) -- Mutation testing with [`Mutagen`](https://github.com/llogiq/mutagen) +- Mutation testing with [`cargo-mutants`](https://github.com/sourcefrog/cargo-mutants) - Code verification with [`Kani`](https://github.com/model-checking/kani) There are always more tests to write and more bugs to find, contributions to our testing efforts @@ -167,9 +167,9 @@ bench marks use: `RUSTFLAGS='--cfg=bench' cargo +nightly bench`. ### Mutation tests -We have started doing mutation testing with [mutagen](https://github.com/llogiq/mutagen). To run -these tests first install the latest dev version with `cargo +nightly install --git https://github.com/llogiq/mutagen` -then run with `RUSTFLAGS='--cfg=mutate' cargo +nightly mutagen`. +We are doing mutation testing with [cargo-mutants](https://github.com/sourcefrog/cargo-mutants). To run +these tests first install with `cargo install --locked cargo-mutants` then run with `cargo mutants --in-place --no-shuffle`. +Note that running these mutation tests will take on the order of 10's of minutes. ### Code verification