Skip to content

Get the test suite working inside the rustc test suite #300

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Aug 11, 2017

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Aug 10, 2017

I had to weave some env vars over from rustc, but it works now both within rustc and here.

@RalfJung
Copy link
Member

What exactly is it that used to not work and works with this? I don't understand what "inside the rustc test suite" means.

@RalfJung
Copy link
Member

Ah, I see. This is for rust-lang/rust#43628. Looks good!

@RalfJung
Copy link
Member

Of course, eventually, we will want to run miri on the entire rustc testsuite itself, not just on in its rather small testsuite. :)

@oli-obk
Copy link
Contributor Author

oli-obk commented Aug 11, 2017

Of course, eventually, we will want to run miri on the entire rustc testsuite itself, not just on in its rather small testsuite. :)

for that we need a way to mark tests as "miri will always fail on this"

@oli-obk oli-obk merged commit dca1be6 into rust-lang:master Aug 11, 2017
@oli-obk oli-obk deleted the rustc_tests branch August 11, 2017 07:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants