Merge #768

768: Avoid -Zmiri-disable-isolation if possible r=taiki-e a=taiki-e It slows down tests: rust-lang/miri#1702 Co-authored-by: Taiki Endo <te316e89@gmail.com>
crossbeam-rs · Jan 8, 2022 · 7b6b46e · 7b6b46e
2 parents d77e702 + 371b161
commit 7b6b46e
Showing 1 changed file with 9 additions and 3 deletions.
diff --git 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