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

crossbeam-rs · Mar 22, 2021 · cb3bfae · cb3bfae
1 parent 3d46fcd
commit cb3bfae
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