Auto merge of #2176 - RalfJung:test-dirs, r=oli-obk

rename test suite directories

Fixes https://github.com/rust-lang/miri/issues/2154
This commit is contained in:
bors 2022-06-01 15:41:11 +00:00
commit 232260bbdc
979 changed files with 4 additions and 4 deletions

2
ci.sh
View file

@ -26,7 +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 -- tests/{run-pass,run-fail}
MIRIFLAGS="-O -Zmir-opt-level=4" MIRI_SKIP_UI_CHECKS=1 ./miri test --locked -- tests/{pass,panic}
fi
# On Windows, there is always "python", not "python3" or "python2".

View file

@ -132,7 +132,7 @@ fn main() {
// Let the tests know where to store temp files (they might run for a different target, which can make this hard to find).
env::set_var("MIRI_TEMP", env::temp_dir());
ui(Mode::Pass, "tests/run-pass");
ui(Mode::Panic, "tests/run-fail");
ui(Mode::Fail, "tests/compile-fail");
ui(Mode::Pass, "tests/pass");
ui(Mode::Panic, "tests/panic");
ui(Mode::Fail, "tests/fail");
}

Some files were not shown because too many files have changed in this diff Show more