Are our many-seeds tests failing on Windows?

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.31k stars 327 forks source link

Closed RalfJung closed 5 months ago

RalfJung commented 5 months ago

I just noticed this in our Windows CI logs:

  + ./miri many-seeds ./miri run tests/many-seeds/scoped-thread-leak.rs
  Trying seed: 0
  Failing seed: 0

There seem to be multiple things wrong here: