Skip to content

Commit

Permalink
temporarily disable intptrcast advanced testing on Windows
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Jul 5, 2019
1 parent 6c58d40 commit 9b58492
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions tests/compiletest.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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());
}

Expand Down

0 comments on commit 9b58492

Please sign in to comment.