diff options
| author | Maybe Waffle <waffle.lapkin@gmail.com> | 2024-03-06 20:34:50 +0000 |
|---|---|---|
| committer | Maybe Waffle <waffle.lapkin@gmail.com> | 2024-03-06 22:53:49 +0000 |
| commit | 9891d6a33737117dcc93c620c0bb027aa26a246e (patch) | |
| tree | 86044661c35d0a01d1684641c2a71af1b6365960 | |
| parent | ee1c691befd416221354b3595fd109a7d480ec01 (diff) | |
| download | rust-9891d6a33737117dcc93c620c0bb027aa26a246e.tar.gz rust-9891d6a33737117dcc93c620c0bb027aa26a246e.zip | |
Add advice for failing `shims/fs.rs` miri test
| -rw-r--r-- | src/tools/miri/tests/pass/shims/fs.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/tools/miri/tests/pass/shims/fs.rs b/src/tools/miri/tests/pass/shims/fs.rs index 6ba39c1f563..304a178dc34 100644 --- a/src/tools/miri/tests/pass/shims/fs.rs +++ b/src/tools/miri/tests/pass/shims/fs.rs @@ -1,6 +1,10 @@ //@ignore-target-windows: File handling is not implemented yet //@compile-flags: -Zmiri-disable-isolation +// If this test is failing for you locally, you can try +// 1. Deleting the files `/tmp/miri_*` +// 2. Setting `MIRI_TEMP` or `TMPDIR` to a different directory, without the `miri_*` files + #![feature(io_error_more)] #![feature(io_error_uncategorized)] |