diff options
| author | Ralf Jung <post@ralfj.de> | 2023-02-03 18:06:00 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-02-03 18:06:00 +0100 |
| commit | 072d5cd87353b0287a3f0fe2e36d51d4917d9522 (patch) | |
| tree | 32a104523e486e549e1001650e631eb41bc6fe7d | |
| parent | dcf9c9de3b0a9482de76d8ce0a656957d24513e6 (diff) | |
| download | rust-072d5cd87353b0287a3f0fe2e36d51d4917d9522.tar.gz rust-072d5cd87353b0287a3f0fe2e36d51d4917d9522.zip | |
re-enable mir-opt tests
| -rwxr-xr-x | src/tools/miri/ci.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/miri/ci.sh b/src/tools/miri/ci.sh index db9f180a5e5..e01bfbc74d9 100755 --- a/src/tools/miri/ci.sh +++ b/src/tools/miri/ci.sh @@ -43,8 +43,7 @@ function run_tests { # optimizations up all the way, too). # Optimizations change diagnostics (mostly backtraces), so we don't check # them. Also error locations change so we don't run the failing tests. - #FIXME: temporarily disabled due to <https://github.com/rust-lang/rust/issues/107511>. - #MIRIFLAGS="${MIRIFLAGS:-} -O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test -- tests/{pass,panic} + MIRIFLAGS="${MIRIFLAGS:-} -O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test -- tests/{pass,panic} # Also run some many-seeds tests. 64 seeds means this takes around a minute per test. for FILE in tests/many-seeds/*.rs; do |