temporarily disable intptrcast advanced testing on Windows

This commit is contained in:
Ralf Jung 2019-07-05 19:22:22 +02:00
parent 6c58d40a8d
commit 9b58492df1

View file

@ -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());
}