Stream: t-lang/wg-unsafe-code-guidelines

Topic: cargo install miri


RalfJ (Nov 12 2018 at 19:41, on Zulip):

@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?

RalfJ (Nov 12 2018 at 19:42, on Zulip):

Actually this is probably the wrong stream... please ignore, I'll resend the same thing to #general

gnzlbg (Nov 13 2018 at 11:59, on Zulip):

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 ?

RalfJ (Nov 13 2018 at 12:00, on Zulip):

@gnzlbg there is cargo miri test. However, it is currently broken. Help welcome!

Last update: Nov 20 2019 at 11:30UTC