Skip to content

Commit 84e7ae2

Browse files
committed
Run Miri test suite with mir-opt-level=4
1 parent f811f14 commit 84e7ae2

File tree

1 file changed

+8
-1
lines changed

1 file changed

+8
-1
lines changed

src/bootstrap/test.rs

+8-1
Original file line numberDiff line numberDiff line change
@@ -452,7 +452,14 @@ impl Step for Miri {
452452

453453
cargo.add_rustc_lib_path(builder, compiler);
454454

455-
if !try_run(builder, &mut cargo.into()) {
455+
let mut cargo = Command::from(cargo);
456+
if !try_run(builder, &mut cargo) {
457+
return;
458+
}
459+
460+
// # Run `cargo test` with `-Zmir-opt-level=4`.
461+
cargo.env("MIRIFLAGS", "-O -Zmir-opt-level=4");
462+
if !try_run(builder, &mut cargo) {
456463
return;
457464
}
458465

0 commit comments

Comments
 (0)