Use -Zmiri-compare-exchange-weak-failure-rate=0.0

crossbeam-rs · Oct 18, 2021 · 0a1d472 · 0a1d472
1 parent f412180
commit 0a1d472
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/miri.sh b/ci/miri.sh
@@ -15,5 +15,5 @@ rustup component add miri
 
 # -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545
 # -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579
-export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks"
+export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks -Zmiri-compare-exchange-weak-failure-rate=0.0"
 cargo miri test --all --exclude benchmarks