From cb3bfae48c03f1a56302cb2d756fcc13903436c9 Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Sat, 20 Feb 2021 01:14:35 +0900 Subject: [PATCH] Use -Zmiri-compare-exchange-weak-failure-rate=0.0 --- ci/miri.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/miri.sh b/ci/miri.sh index 4a762b585..7801fd42c 100755 --- 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