Skip to content

Commit 29d1e94

Browse files
committed
Use -Zmiri-compare-exchange-weak-failure-rate=0.0
1 parent bdd3a3f commit 29d1e94

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

ci/miri.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,5 +15,5 @@ rustup component add miri
1515

1616
# -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545
1717
# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579
18-
export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks"
18+
export MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks -Zmiri-compare-exchange-weak-failure-rate=0.0"
1919
cargo miri test --all --exclude benchmarks

0 commit comments

Comments
 (0)