try -Zmiri-disable-isolation

crossbeam-rs · Oct 9, 2020 · df3d7ff · df3d7ff
1 parent bb2a864
commit df3d7ff
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
 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
 fi
diff --git a/ci/miri.sh b/ci/miri.sh
@@ -14,4 +14,4 @@ rustup update "$MIRI_NIGHTLY"
 rustup default "$MIRI_NIGHTLY"
 rustup component add miri
 
-cargo miri test "${@}"
+cargo miri test -- -Zmiri-disable-isolation "${@}"