diff options
| author | Ralf Jung <post@ralfj.de> | 2025-05-22 09:11:06 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-05-22 09:11:09 +0200 |
| commit | 9e1f3a50e9f0594618d6c8d830d4062a49b8b912 (patch) | |
| tree | 23bada2dc825a0d5d4c89c5e179158175ffa36f9 | |
| parent | 1e796370508c67dd7a9cf68c7dc6f2b199312372 (diff) | |
| download | rust-9e1f3a50e9f0594618d6c8d830d4062a49b8b912.tar.gz rust-9e1f3a50e9f0594618d6c8d830d4062a49b8b912.zip | |
enable isolated-stdin test on Windows
| -rw-r--r-- | src/tools/miri/tests/fail/shims/isolated_stdin.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/tests/fail/shims/isolated_stdin.rs b/src/tools/miri/tests/fail/shims/isolated_stdin.rs index 040c3cc2164..9f809039ada 100644 --- a/src/tools/miri/tests/fail/shims/isolated_stdin.rs +++ b/src/tools/miri/tests/fail/shims/isolated_stdin.rs @@ -1,7 +1,7 @@ -//@ignore-target: windows # FIXME: stdin does not work on Windows //@error-in-other-file: `read` from stdin not available when isolation is enabled //@normalize-stderr-test: "src/sys/.*\.rs" -> "$$FILE" //@normalize-stderr-test: "\nLL \| .*" -> "" +//@normalize-stderr-test: "\n... .*" -> "" //@normalize-stderr-test: "\| +[|_^]+" -> "| ^" //@normalize-stderr-test: "\n *= note:.*" -> "" use std::io::{self, Read}; |