Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

-Zmiri-mute-stdout-stderr does not mute stderr #2143

Closed
matthiaskrgr opened this issue May 22, 2022 · 0 comments · Fixed by #2144
Closed

-Zmiri-mute-stdout-stderr does not mute stderr #2143

matthiaskrgr opened this issue May 22, 2022 · 0 comments · Fixed by #2144

Comments

@matthiaskrgr
Copy link
Member 

fn main() {
	eprintln!("OH NO WHAT HAVE I DONE");
}

MIRIFLAGS="-Zmiri-mute-stdout-stderr" cargo miri run:

WARNING: Ignoring `RUSTC_WRAPPER` environment variable, Miri does not support wrapping.
    Finished dev [unoptimized + debuginfo] target(s) in 0.00s
     Running `/home/matthias/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/bin/cargo-miri target/miri/x86_64-unknown-linux-gnu/debug/f`
OH NO WHAT HAVE I DONE

cc @oli-obk
This was referenced May 22, 2022
Merged
Merged
bors added a commit that referenced this issue May 22, 2022
@bors
Auto merge of #2144 - matthiaskrgr:stderrfix, r=RalfJung
62ea0c8 
mute_stdout_stderr: mute stderr instead of stdin

should fix #2143

note: this is entirely untested, I was getting tons of errors on `cargo test` because of some missing setup.
I hope that CI can tell me if this works or not 🙈

r? `@oli-obk`
@bors bors closed this as completed in 89da571 May 22, 2022
carbotaniuman pushed a commit to carbotaniuman/miri that referenced this issue Jun 15, 2022
@matthiaskrgr @carbotaniuman
shims: fs: silence stderr instead of stdout.
4724d8c 
Fixes rust-lang#2143
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

mute_stdout_stderr: mute stderr instead of stdin matthiaskrgr/miri
1 participant
@matthiaskrgr