mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add -Zmiri-disable-data-race-detector to readme

Browse Source
This commit is contained in:
Ralf Jung 2021-01-24 15:58:37 +01:00
parent 5e9bf46b46
commit 056016571f
1 changed files with 2 additions and 0 deletions

2
README.md

@ -198,6 +198,8 @@ environment variable:
* `-Zmiri-disable-alignment-check` disables checking pointer alignment, so you
can focus on other failures, but it means Miri can miss bugs in your program.
Using this flag is **unsound**.
* `-Zmiri-disable-data-race-detector` disables checking for data races. Using
this flag is **unsound**.
* `-Zmiri-disable-stacked-borrows` disables checking the experimental
[Stacked Borrows] aliasing rules. This can make Miri run faster, but it also
means no aliasing violations will be detected. Using this flag is **unsound**