try -Zmiri-disable-isolation and -Zmiri-ignore-leaks

crossbeam-rs · Oct 9, 2020 · f34db4b · f34db4b
1 parent bb2a864
commit f34db4b
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/ci/crossbeam-epoch.sh b/ci/crossbeam-epoch.sh
@@ -23,5 +23,5 @@ if [[ "$RUST_VERSION" == "nightly"* ]]; then
             --example sanitize
     fi
 
-    ./../ci/miri.sh -- -Zmiri-disable-stacked-borrows
+    ./../ci/miri.sh -- -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks
 fi
diff --git a/ci/crossbeam-skiplist.sh b/ci/crossbeam-skiplist.sh
@@ -13,5 +13,5 @@ if [[ "$RUST_VERSION" == "nightly"* ]]; then
 
     RUSTDOCFLAGS=-Dwarnings cargo doc --no-deps --all-features
 
-    # ./../ci/miri.sh -- -Zmiri-disable-stacked-borrows
+    ./../ci/miri.sh -- -Zmiri-disable-stacked-borrows -Zmiri-ignore-leaks
 fi
diff --git a/ci/crossbeam-utils.sh b/ci/crossbeam-utils.sh
@@ -13,5 +13,5 @@ if [[ "$RUST_VERSION" == "nightly"* ]]; then
 
     RUSTDOCFLAGS=-Dwarnings cargo doc --no-deps --all-features
 
-    ./../ci/miri.sh
+    ./../ci/miri.sh -- -Zmiri-disable-isolation
 fi