reenable all tests on Windows

diff --git a/src/eval.rs b/src/eval.rs
index dbc3282a306f8ca6a3ccc57e44d2f03b11a6631f..faa50f9149168536942ba76d6b6ea0a3c041adbd 100644 (file)
--- a/src/eval.rs
+++ b/src/eval.rs
@@ -31,20 +31,11 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
     main_id: DefId,
     config: MiriConfig,
 ) -> InterpResult<'tcx, InterpCx<'mir, 'tcx, Evaluator<'tcx>>> {
-
-    // FIXME(https://github.com/rust-lang/miri/pull/803): no validation on Windows.
-    let target_os = tcx.sess.target.target.target_os.to_lowercase();
-    let validate = if target_os == "windows" {
-        false
-    } else {
-        config.validate
-    };
-
     let mut ecx = InterpCx::new(
         tcx.at(syntax::source_map::DUMMY_SP),
         ty::ParamEnv::reveal_all(),
         Evaluator::new(),
-        MemoryExtra::new(config.seed.map(StdRng::seed_from_u64), validate),
+        MemoryExtra::new(config.seed.map(StdRng::seed_from_u64), config.validate),
     );
 
     let main_instance = ty::Instance::mono(ecx.tcx.tcx, main_id);

diff --git a/tests/compiletest.rs b/tests/compiletest.rs
index 4d799cdb542df5a80686f8d47d0d407fae687e09..302c080a52eb696a4055e4548c466f55f2de17ab 100644 (file)
--- a/tests/compiletest.rs
+++ b/tests/compiletest.rs
@@ -111,9 +111,7 @@ fn run_pass_miri(opt: bool) {
 }
 
 fn compile_fail_miri(opt: bool) {
-    if !cfg!(windows) { // FIXME re-enable on Windows
-        compile_fail("tests/compile-fail", &get_target(), opt);
-    }
+    compile_fail("tests/compile-fail", &get_target(), opt);
 }
 
 fn test_runner(_tests: &[&()]) {