Is it correct if, to run the miri tests, I did the following:
rustup component add miri
cargo miri setup
cargo test (in the miri repo)
I was under the suspicion I could only test on *nix after reading https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#testing-the-miri-driver since it suggests using the binary (Which I'm assuming can't be used on windows sans maybe msys/cygwin/mingw stuff). Would it make sense to modify that?
I think there is no problem with testing miri on windows
but what do you want to test? your locally built miri?
I think the miri script doesn't work correctly in windows
@Nick12 the instructions only mention *nix because Linux is the only platform on which I ever tried any of this. I don't have a Windows on which I could do development, nor do I have much time or motivation for tending to the countless quirks of that platform. so we mostly rely on Rust's excellent cross-platform nature and on CI to catch big "oopsies", but we try to be careful in our documentation.
If you find steps that work for Miri on Windows, a PR or patches to make our scripts work on more platforms would be more than welcome!
basically we support Windows insofar as it doesn't require much work and/or platform-specific knowledge, and the reason is a lack of a Windows expert to care enough to do better than that.
Makes sense. I might do that in the weekend
also see https://github.com/rust-lang/miri/pull/980, someone else seems to be looking into similar issues