Add cargo-miri test for no isolation

[rust.git] / test-cargo-miri / run-test.py

diff --git a/test-cargo-miri/run-test.py b/test-cargo-miri/run-test.py
index 73515c74e401030dd14a4169a984662121622ce2..499c2e896f172ca3019b27fed2d0d303ed24be32 100755 (executable)
--- a/test-cargo-miri/run-test.py
+++ b/test-cargo-miri/run-test.py
@@ -60,6 +60,10 @@ def test_cargo_miri_test():
         cargo_miri("test") + ["--", "--", "le1"],
         "test.stdout.ref2", "test.stderr.ref"
     )
+    test("cargo miri test (without isolation)",
+        cargo_miri("test") + ["--", "-Zmiri-disable-isolation", "--", "num_cpus"],
+        "test.stdout.ref3", "test.stderr.ref"
+    )
 
 os.chdir(os.path.dirname(os.path.realpath(__file__)))