./miri run --dep tests/pass-dep/tokio/file-io.rs -Zmiri-disable-isolation -Zmiri-many-seeds fails on seed 40 for me. Overall, around 90% of seeds seem to fail. No idea why this did not explode earlier, maybe the distribution changed recently.
tests/pass-dep/tokio/file-io.rs has failed on rustc CI; it seems to be non-deterministic. I haven't yet been able to reproduce this locally. (The reproducer I had before was completely bogus.)
@tiif can you look into this? This is causing issues for rustc CI so it is somewhat urgent.
./miri run --dep tests/pass-dep/tokio/file-io.rs -Zmiri-disable-isolation -Zmiri-many-seedsfails on seed 40 for me. Overall, around 90% of seeds seem to fail. No idea why this did not explode earlier, maybe the distribution changed recently.tests/pass-dep/tokio/file-io.rshas failed on rustc CI; it seems to be non-deterministic. I haven't yet been able to reproduce this locally. (The reproducer I had before was completely bogus.)@tiif can you look into this? This is causing issues for rustc CI so it is somewhat urgent.