@Oli What do you think, can we make it so that
cargo install miri will get people to run miri? I assume we'd have to (a) enable the cargo-miri feature per default, and (b) upload miri to creates.io, and (c) re-upload it every other day to fix things for latest nightly. I have no idea how much effort the last two parts are, in particular considering that we'd likely have to re-publish fairly frequently. Can several people have publishing rights for the same crate? Do you even think we should do this?
Actually this is probably the wrong stream... please ignore, I'll resend the same thing to #general
Is there a
miri test runner? so that I write
..._RUNNER=miri cargo test and my tests run on miri? Or a
cargo test --miri or similar ?
@gnzlbg there is
cargo miri test. However, it is currently broken. Help welcome!