mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #3790 - RalfJung:ui-test-folder, r=RalfJung

Browse Source 
use a Miri-specific folder for ui tests
This commit is contained in:
bors 2024-08-05 17:28:37 +00:00
commit d1ad05a43a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/tests/ui.rs
View File

@ -73,7 +73,7 @@ fn miri_config(target: &str, path: &str, mode: Mode, with_dependencies: bool) ->
stdout_filters: stdout_filters().into(), stdout_filters: stdout_filters().into(),
mode, mode,
program, program,
out_dir: PathBuf::from(std::env::var_os("CARGO_TARGET_DIR").unwrap()).join("ui"), out_dir: PathBuf::from(std::env::var_os("CARGO_TARGET_DIR").unwrap()).join("miri_ui"),
edition: Some("2021".into()), // keep in sync with `./miri run` edition: Some("2021".into()), // keep in sync with `./miri run`
threads: std::env::var("MIRI_TEST_THREADS") threads: std::env::var("MIRI_TEST_THREADS")
.ok() .ok()