Skip to content

Commit b15c995

Browse files
committed
Add advice for failing shims/fs.rs miri test
1 parent 37983c1 commit b15c995

File tree

1 file changed

+4
-0
lines changed
  • src/tools/miri/tests/pass/shims

1 file changed

+4
-0
lines changed

src/tools/miri/tests/pass/shims/fs.rs

+4
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,10 @@
11
//@ignore-target-windows: File handling is not implemented yet
22
//@compile-flags: -Zmiri-disable-isolation
33

4+
// If this test is failing for you locally, you can try
5+
// 1. Deleting the files `/temp/miri_*`
6+
// 2. Setting `MIRI_TEMP` or `TMPDIR` to a different directory, without the `miri_*` files
7+
48
#![feature(io_error_more)]
59
#![feature(io_error_uncategorized)]
610

0 commit comments

Comments
 (0)