File tree 2 files changed +4
-2
lines changed
2 files changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -262,7 +262,9 @@ environment variable. We first document the most relevant and most commonly used
262
262
* `-Zmiri-compare-exchange-weak-failure-rate=<rate>` changes the failure rate of
263
263
` compare_exchange_weak` operations. The default is `0.8` (so 4 out of 5 weak ops will fail).
264
264
You can change it to any value between `0.0` and `1.0`, where `1.0` means it
265
- will always fail and `0.0` means it will never fail.
265
+ will always fail and `0.0` means it will never fail. Note than setting it to
266
+ ` 1.0` will likely cause hangs, since it means programs using
267
+ ` compare_exchange_weak` cannot make progress.
266
268
* `-Zmiri-disable-isolation` disables host isolation. As a consequence,
267
269
the program has access to host resources such as environment variables, file
268
270
systems, and randomness.
Original file line number Diff line number Diff line change 1
- b2eba058e6e1c698723e47074561a30b50b5fa7a
1
+ 68314177e70017c08f6cdf295631bb508f9f85bc
You can’t perform that action at this time.
0 commit comments