1 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/miri/tests/pass/hide_stdout.rs b/src/tools/miri/tests/pass/hide_stdout.rs
new file mode 100644
index 00000000000..cfd05a8396c
--- /dev/null
+++ b/src/tools/miri/tests/pass/hide_stdout.rs
@@ -0,0 +1,6 @@
+//@compile-flags: -Zmiri-mute-stdout-stderr
+
+fn main() {
+    println!("print to stdout");
+    eprintln!("print to stderr");
+}