Merge pull request #315 from RalfJung/validation

Enable more validation tests
rust-lang · Aug 28, 2017 · b93462a · b93462a
2 parents b6d0597 + 02a0f0f
commit b93462a
Show file tree

Hide file tree

Showing 7 changed files with 3 additions and 18 deletions.
diff --git a/tests/compile-fail/memleak_rc.rs b/tests/compile-fail/memleak_rc.rs
@@ -1,6 +1,3 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
-// compile-flags: -Zmir-emit-validate=0
-
 //error-pattern: the evaluated program leaked memory
 
 use std::rc::Rc;

diff --git a/tests/compile-fail/panic.rs b/tests/compile-fail/panic.rs
@@ -1,6 +1,5 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
+// 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,6 +1,5 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
+// 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,6 +1,5 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
+// 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/run-pass/rc.rs b/tests/run-pass/rc.rs
@@ -1,6 +1,3 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
-// compile-flags: -Zmir-emit-validate=0
-
 use std::cell::RefCell;
 use std::rc::Rc;
 

diff --git a/tests/run-pass/send-is-not-static-par-for.rs b/tests/run-pass/send-is-not-static-par-for.rs
@@ -10,9 +10,6 @@
 
 //ignore-windows
 
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
-// compile-flags: -Zmir-emit-validate=0
-
 use std::sync::Mutex;
 
 fn par_for<I, F>(iter: I, f: F)

diff --git a/tests/run-pass/std.rs b/tests/run-pass/std.rs
@@ -1,6 +1,3 @@
-// FIXME: Due to https://github.com/rust-lang/rust/issues/43457 we have to disable validation
-// compile-flags: -Zmir-emit-validate=0
-
 use std::cell::{Cell, RefCell};
 use std::rc::Rc;
 use std::sync::Arc;