diff options
| author | Ralf Jung <post@ralfj.de> | 2023-01-31 12:04:08 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-01-31 12:04:08 +0100 |
| commit | a78e178b659dc1cf29b0482c97006f2e84af8419 (patch) | |
| tree | d3b64fd2d33ea26bf29b637d69dd55a2881979c0 | |
| parent | f8509e4fa05657be99961ff60d2226675849ea48 (diff) | |
| download | rust-a78e178b659dc1cf29b0482c97006f2e84af8419.tar.gz rust-a78e178b659dc1cf29b0482c97006f2e84af8419.zip | |
dont run optimized MIR for now, it is broken
| -rwxr-xr-x | src/tools/miri/ci.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/ci.sh b/src/tools/miri/ci.sh index e01bfbc74d9..db9f180a5e5 100755 --- a/src/tools/miri/ci.sh +++ b/src/tools/miri/ci.sh @@ -43,7 +43,8 @@ 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. - MIRIFLAGS="${MIRIFLAGS:-} -O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test -- tests/{pass,panic} + #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} # Also run some many-seeds tests. 64 seeds means this takes around a minute per test. for FILE in tests/many-seeds/*.rs; do |