Auto merge of #55064 - RalfJung:miri-update, r=oli-obk

Browse Source

update miri

This pulls in the changes in miri to actually enable validation. So, the rustc test suite will let us know if anything we cover regresses in that regard. :)

r? @oli-obk

...

This commit is contained in:

bors

2018-10-15 06:36:23 +00:00

parent c40e2ac2b6 ad04cb72f9

commit 42f401dd02

1 changed files with 1 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

src/tools/miri

+1 -1

Submodule src/tools/miri updated: 26f9d617c3...8b14b03368