Skip to content

Commit ccbc035

Browse files
committed
run all run-pass tests with intrptrcast. makes many of them fail!
1 parent 39c9e79 commit ccbc035

File tree

3 files changed

+3
-8
lines changed

3 files changed

+3
-8
lines changed

tests/compiletest.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -81,6 +81,9 @@ fn miri_pass(path: &str, target: &str, opt: bool) {
8181
let mut flags = Vec::new();
8282
if opt {
8383
flags.push("-Zmir-opt-level=3".to_owned());
84+
} else {
85+
// Run with intptrcast. Avoid test matrix explosion by doing either this or opt-level=3.
86+
flags.push("-Zmiri-seed=".to_owned());
8487
}
8588

8689
run_tests("ui", path, target, flags);

tests/run-pass/intptrcast_format.rs

Lines changed: 0 additions & 6 deletions
This file was deleted.

tests/run-pass/intptrcast_format.stdout

Lines changed: 0 additions & 2 deletions
This file was deleted.

0 commit comments

Comments
 (0)