temporarily disable validation for 'cargo miri test' testing

RalfJung · RalfJung · commit 6c58d40a8d42 · 2019-07-05T19:21:42.000+02:00
diff --git a/test-cargo-miri/run-test.py b/test-cargo-miri/run-test.py
@@ -52,8 +52,9 @@ def test_cargo_miri_run():
     )
 
 def test_cargo_miri_test():
+    # FIXME: enable validation again, once that no longer conflicts with intptrcast
     test("cargo miri test",
-        cargo_miri("test") + ["--", "-Zmiri-seed=feed"],
+        cargo_miri("test") + ["--", "-Zmiri-seed=feed", "-Zmiri-disable-validation"],
         "test.stdout.ref", "test.stderr.ref"
     )
     test("cargo miri test (with filter)",

Original file line number	Diff line number	Diff line change
`@@ -52,8 +52,9 @@ def test_cargo_miri_run():`
`52`	`52`	`)`
`53`	`53`
`54`	`54`	`def test_cargo_miri_test():`
	`55`	`+ # FIXME: enable validation again, once that no longer conflicts with intptrcast`
`55`	`56`	`test("cargo miri test",`
`56`		`- cargo_miri("test") + ["--", "-Zmiri-seed=feed"],`
	`57`	`+ cargo_miri("test") + ["--", "-Zmiri-seed=feed", "-Zmiri-disable-validation"],`
`57`	`58`	`"test.stdout.ref", "test.stderr.ref"`
`58`	`59`	`)`
`59`	`60`	`test("cargo miri test (with filter)",`