Stream: t-compiler/const-eval

Topic: Running Miri


Alexander Regueiro (Jun 19 2019 at 18:56, on Zulip):

hmm, when using a custom rustc with miri, it's having trouble finding the SYSROOT
error[E0080]: Miri evaluation error: no mir for std::rt::lang_start_internal. Did you set MIRI_SYSROOT to a Miri-enabled sysroot? You can prepare one with cargo miri setup.
any easy way to fix this?

RalfJ (Jun 19 2019 at 20:48, on Zulip):

@Alexander Regueiro please don't drive existing topics off-topic by asking unrelated questions. use the "new topic" button at the bottom instead.

RalfJ (Jun 19 2019 at 20:48, on Zulip):

To answer your question: which command(s) did you run? You should be using the ./miri wrapper as the README explains. That should take care of setting the sysroot.

Alexander Regueiro (Jun 19 2019 at 20:50, on Zulip):

didn't realise it was an existing topic! Zulip is a fucking mess in terms of UX. feel free to just change the topic. :-)

Alexander Regueiro (Jun 19 2019 at 20:51, on Zulip):

(changed it myself this time)

Alexander Regueiro (Jun 19 2019 at 20:51, on Zulip):

@RalfJ yeah I run that

RalfJ (Jun 19 2019 at 20:51, on Zulip):

I don't have the powers to change other people's topic ;) but if you mastered the borrow checker I am sure you will be able to master Zulip's UI. :D

RalfJ (Jun 19 2019 at 20:52, on Zulip):

you run what exactly? running literally ./miri will certainly not produce the error you quoted above

RalfJ (Jun 19 2019 at 20:52, on Zulip):

I am not clairvoyant, so please dont assume I know what you did

Alexander Regueiro (Jun 19 2019 at 20:53, on Zulip):

haha

Alexander Regueiro (Jun 19 2019 at 20:54, on Zulip):

yeah, I understand it, I just forget about it because the UI doesn't make it very obvious/intuitive. ;-) anyway it's fixed now.

Alexander Regueiro (Jun 19 2019 at 20:54, on Zulip):

okay okay... you want it spelt out, I got it

Alexander Regueiro (Jun 19 2019 at 20:54, on Zulip):

./miri run file.rs

RalfJ (Jun 19 2019 at 20:55, on Zulip):

yes when reporting bugs you can expect people always want everything spelled out :)

RalfJ (Jun 19 2019 at 20:55, on Zulip):

okay looks like you skipped this part in the instructions:

# Now edit `config.toml` and set `debug-assertions = true` and `test-miri = true`.
Alexander Regueiro (Jun 19 2019 at 20:55, on Zulip):

fair enough. I'm a bit different in personality. I just assume the obvious unless someone specifies otherwise, but I understand we all have different mindsets and ways of approaching this. :-)

Alexander Regueiro (Jun 19 2019 at 20:56, on Zulip):

aha

Alexander Regueiro (Jun 19 2019 at 20:56, on Zulip):

my bad

Alexander Regueiro (Jun 19 2019 at 20:56, on Zulip):

I did indeed miss that line

Alexander Regueiro (Jun 19 2019 at 20:56, on Zulip):

thanks

RalfJ (Jun 19 2019 at 20:56, on Zulip):

fair enough. I'm a bit different in personality. I just assume the obvious unless someone specifies otherwise, but I understand we all have different mindsets and ways of approaching this. :-)

that was not at all obvious. you could have have tried ./miri test or ./miri install and then later cargo run, or ...

Alexander Regueiro (Jun 19 2019 at 20:57, on Zulip):

that would be pretty pathological if you ask me, but alrighty!

Alexander Regueiro (Jun 19 2019 at 20:57, on Zulip):

difference of opinion. it's no big deal that you had to ask for clarification, and I was happy to give it.

Alexander Regueiro (Jun 19 2019 at 20:57, on Zulip):

that's how interactions should work.

RalfJ (Jun 19 2019 at 20:57, on Zulip):

expecting all the details to be spelled out in a bug report is not a quirk of mine. it is how bugreports work. extracting every bit of information manually is just hard. by waiting for me to query the information I need you are making it much harder for me to help you. the result is that I am less likely to help you.

Alexander Regueiro (Jun 19 2019 at 20:58, on Zulip):

it's not a bug report, but rather a conversation

Alexander Regueiro (Jun 19 2019 at 20:58, on Zulip):

you're treating this very formally

RalfJ (Jun 19 2019 at 20:58, on Zulip):

well I am afraid this is a waste of time and I git better things to do with my evening ;) good night

Alexander Regueiro (Jun 19 2019 at 20:58, on Zulip):

I'm always going to specify as much as I think is necessary to understand the issue

Alexander Regueiro (Jun 19 2019 at 20:59, on Zulip):

this is definitely a cultural thing, sorry. very German of you! which is cool, but we Brits are different.

Alexander Regueiro (Jun 19 2019 at 21:00, on Zulip):

Sure, good night.

Last update: Nov 15 2019 at 21:30UTC