test test suite harness with raw-ptr tracking

Author: RalfJung

test-cargo-miri/run-test.py

@@ -83,6 +83,11 @@ def test_cargo_miri_test():
         "test.default.stdout.ref", rustdoc_ref,
         env={'MIRIFLAGS': "-Zmiri-disable-isolation"},
     )
+    test("`cargo miri test` (raw-ptr tracking)",
+        cargo_miri("test") + ["--", "-Zunstable-options", "--exclude-should-panic"],
+        "test.raw-ptr-track.stdout.ref", rustdoc_ref,
+        env={'MIRIFLAGS': "-Zmiri-track-raw-pointers"},
+    )
     test("`cargo miri test` (with filter)",
         cargo_miri("test") + ["--", "--format=pretty", "le1"],
         "test.filter.stdout.ref", rustdoc_ref,

test-cargo-miri/test.raw-ptr-track.stdout.ref

@@ -0,0 +1,10 @@
+
+running 1 test
+.
+test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
+
+
+running 5 tests
+.i...
+test result: ok. 4 passed; 0 failed; 1 ignored; 0 measured; 2 filtered out
+