Turn off validation for some compile-fail tests

oli-obk · RalfJung · commit 02a0f0f81466 · 2017-08-28T15:04:32.000+02:00
diff --git a/tests/compile-fail/panic.rs b/tests/compile-fail/panic.rs
@@ -1,3 +1,5 @@
+// FIXME: Probably failing due to https://github.com/solson/miri/issues/296
+// compile-flags: -Zmir-emit-validate=0
 //error-pattern: the evaluated program panicked
 
 fn main() {
diff --git a/tests/compile-fail/zst2.rs b/tests/compile-fail/zst2.rs
@@ -1,3 +1,5 @@
+// FIXME: Probably failing due to https://github.com/solson/miri/issues/296
+// compile-flags: -Zmir-emit-validate=0
 // error-pattern: the evaluated program panicked
 
 #[derive(Debug)]
diff --git a/tests/compile-fail/zst3.rs b/tests/compile-fail/zst3.rs
@@ -1,3 +1,5 @@
+// FIXME: Probably failing due to https://github.com/solson/miri/issues/296
+// compile-flags: -Zmir-emit-validate=0
 // error-pattern: the evaluated program panicked
 
 #[derive(Debug)]

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+// FIXME: Probably failing due to https://github.com/solson/miri/issues/296`
	`2`	`+// compile-flags: -Zmir-emit-validate=0`
`1`	`3`	`//error-pattern: the evaluated program panicked`
`2`	`4`
`3`	`5`	`fn main() {`