Stream: general

Topic: miri stream


Simon Sapin (Feb 19 2020 at 07:09, on Zulip):

@oli @RalfJ I didn’t find a miri stream on this zulip, where’s a good place to ask questions about an error / possible UB when running cargo miri test on my code?

Simon Sapin (Feb 19 2020 at 07:13, on Zulip):

(Maybe we should create a stream?)

lqd (Feb 19 2020 at 07:13, on Zulip):

people often do that on the UCG stream

lqd (Feb 19 2020 at 07:15, on Zulip):

(can’t link as I’m on a phone) named like t-lang/wg-unsafe-code-guidelines

RalfJ (Feb 19 2020 at 08:29, on Zulip):

yeah, UCG makes sense if it's a "possible UB" question

lqd (Feb 19 2020 at 09:04, on Zulip):

that being said, with the new miri subteam, a stream could make sense as well

Last update: Jun 05 2020 at 21:45UTC