user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add advice for failing shims/fs.rs miri test

Browse source
This commit is contained in:
Maybe Waffle 2024-03-06 20:34:50 +00:00
parent ee1c691bef
commit 9891d6a337
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tools/miri/tests/pass/shims/fs.rs
View file

@ -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)]