From 9b58492df179be10cc2004ad0fe0616cdfd9b505 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 5 Jul 2019 19:22:22 +0200
Subject: [PATCH] temporarily disable intptrcast advanced testing on Windows

---
 tests/compiletest.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/compiletest.rs b/tests/compiletest.rs
index 1d32d3a73244..b31be0a4f32d 100644
--- a/tests/compiletest.rs
+++ b/tests/compiletest.rs
@@ -83,6 +83,7 @@ fn miri_pass(path: &str, target: &str, opt: bool, noseed: bool) {
         flags.push("-Zmir-opt-level=3".to_owned());
     } else if !noseed {
         // Run with intptrcast.  Avoid test matrix explosion by doing either this or opt-level=3.
+        #[cfg(not(windows))] // FIXME re-enable on Windows
         flags.push("-Zmiri-seed=".to_owned());
     }