From 8694e656bee538fb3d1db0bf4fb6625943cd4087 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 30 May 2022 10:28:07 +0200 Subject: [PATCH] test mir-opt-level=4 again on run tests --- ci.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/ci.sh b/ci.sh index bdca26fd0491..080bd9204db5 100755 --- a/ci.sh +++ b/ci.sh @@ -26,8 +26,7 @@ function run_tests { # optimizations up all the way). # Optimizations change diagnostics (mostly backtraces), so we don't check them #FIXME(#2155): we want to only run the pass and panic tests here, not the fail tests. - #MIRIFLAGS="-O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test --locked - true + MIRIFLAGS="-O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test --locked -- tests/{run-pass,run-fail} fi # On Windows, there is always "python", not "python3" or "python2".