Skip to content

Commit

Permalink
readme: update miri test command (#6883)
Browse files Browse the repository at this point in the history
mox692 authored Oct 5, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 2c14f88 commit 6c5dbfa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
@@ -200,7 +200,7 @@ run loom tests that test unstable features.

You can run miri tests with
```
MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-tag-raw-pointers" \
MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields" \
cargo +nightly miri test --features full --lib
```

0 comments on commit 6c5dbfa

Please sign in to comment.