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

Update README.md

Browse Source 
Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
Oli Scherer 2021-01-30 20:05:21 +01:00 committed by GitHub
parent 35ece43ef7
commit bd04091a16
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -252,7 +252,7 @@ environment variable:
indicates a pointer that was cast from an integer, so Miri was unable to track
this pointer.
* `-Zmiri-compare-exchange-weak-failure-rate=<rate>` changes the failure rate of
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).
You can change it to any value between `0.0` and `1.0`, where `1.0` means it
will always fail and `0.0` means it will never fail.