From bd04091a16156f4702118b371e02ef1460b9e0b8 Mon Sep 17 00:00:00 2001 From: Oli Scherer Date: Sat, 30 Jan 2021 20:05:21 +0100 Subject: [PATCH] Update README.md Co-authored-by: Ralf Jung --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 72e69d45033..d742d7558c4 100644 --- a/README.md +++ b/README.md @@ -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=` 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. -- 2.44.0