mirror of
https://github.com/tokio-rs/tokio.git
synced 2025-09-25 12:00:35 +00:00
docs: update miri test command in CONTRIBUTING.md (#6976)
This commit is contained in:
parent
772e0ca8a6
commit
6255598baa
@ -201,7 +201,7 @@ run loom tests that test unstable features.
|
||||
You can run miri tests with
|
||||
```
|
||||
MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields" \
|
||||
cargo +nightly miri test --features full --lib
|
||||
cargo +nightly miri test --features full --lib --tests
|
||||
```
|
||||
|
||||
### Performing spellcheck on tokio codebase
|
||||
|
Loading…
x
Reference in New Issue
Block a user