We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 35ece43 commit bd04091Copy full SHA for bd04091
README.md
@@ -252,7 +252,7 @@ environment variable:
252
indicates a pointer that was cast from an integer, so Miri was unable to track
253
this pointer.
254
* `-Zmiri-compare-exchange-weak-failure-rate=<rate>` changes the failure rate of
255
- weak atomic operations. The default is `0.8` (so 4 out of 5 weak ops will fail.
+ `compare_exchange_weak` operations. The default is `0.8` (so 4 out of 5 weak ops will fail).
256
You can change it to any value between `0.0` and `1.0`, where `1.0` means it
257
will always fail and `0.0` means it will never fail.
258
0 commit comments