From 371b1610b6d53b5e7865b43957b99084fda6b045 Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Sat, 8 Jan 2022 15:42:07 +0900 Subject: [PATCH] Avoid -Zmiri-disable-isolation if possible --- ci/miri.sh | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/ci/miri.sh b/ci/miri.sh index c62616fcc..1af3160e6 100755 --- a/ci/miri.sh +++ b/ci/miri.sh @@ -22,9 +22,15 @@ MIRIFLAGS="-Zmiri-tag-raw-pointers -Zmiri-disable-isolation -Zmiri-ignore-leaks" MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-disable-stacked-borrows" \ cargo miri test \ -p crossbeam-epoch \ - -p crossbeam-skiplist \ - -p crossbeam + -p crossbeam-skiplist -MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-disable-stacked-borrows -Zmiri-compare-exchange-weak-failure-rate=1.0" \ +# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579 +# -Zmiri-disable-stacked-borrows is needed for https://github.com/crossbeam-rs/crossbeam/issues/545 +MIRIFLAGS="-Zmiri-ignore-leaks -Zmiri-disable-stacked-borrows -Zmiri-compare-exchange-weak-failure-rate=1.0" \ cargo miri test \ -p crossbeam-deque + +# -Zmiri-ignore-leaks is needed for https://github.com/crossbeam-rs/crossbeam/issues/579 +MIRIFLAGS="-Zmiri-ignore-leaks" \ + cargo miri test \ + -p crossbeam