user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove Windows TERM env var hack and -Zmiri-env-exclude

Browse source
This commit is contained in:
Ralf Jung 2022-09-20 08:42:45 +02:00
parent 4b9463c5b7
commit bacf131acc
5 changed files with 9 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/pass/shims/env/var-exclude.rs vendored
View file

@ -1,5 +0,0 @@
//@compile-flags: -Zmiri-disable-isolation -Zmiri-env-exclude=MIRI_ENV_VAR_TEST
fn main() {
assert!(std::env::var("MIRI_ENV_VAR_TEST").is_err());
}