diff options
| -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}; |