diff options
| author | Ralf Jung <post@ralfj.de> | 2024-05-05 14:41:12 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-05-05 15:46:13 +0200 |
| commit | f3018409fc85dcf4ef95a1f97915b010796d1afe (patch) | |
| tree | bcb8fa2d21238dc6ff3abfa9f1ba13add762cbee | |
| parent | aaf5c5e742e72da91721e29276a27e5f5c32a377 (diff) | |
| download | rust-f3018409fc85dcf4ef95a1f97915b010796d1afe.tar.gz rust-f3018409fc85dcf4ef95a1f97915b010796d1afe.zip | |
hello: also ensure stderr works
| -rw-r--r-- | src/tools/miri/tests/pass/hello.rs | 1 | ||||
| -rw-r--r-- | src/tools/miri/tests/pass/hello.stderr | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/tests/pass/hello.rs b/src/tools/miri/tests/pass/hello.rs index e7a11a969c0..2a02a7a9e20 100644 --- a/src/tools/miri/tests/pass/hello.rs +++ b/src/tools/miri/tests/pass/hello.rs @@ -1,3 +1,4 @@ fn main() { println!("Hello, world!"); + eprintln!("Hello, error!"); } diff --git a/src/tools/miri/tests/pass/hello.stderr b/src/tools/miri/tests/pass/hello.stderr new file mode 100644 index 00000000000..445a1bc8fa4 --- /dev/null +++ b/src/tools/miri/tests/pass/hello.stderr @@ -0,0 +1 @@ +Hello, error! |