diff options
| author | bors <bors@rust-lang.org> | 2018-10-15 06:36:23 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-10-15 06:36:23 +0000 |
| commit | 42f401dd02fd418e038d9b2829d60d69407e9aab (patch) | |
| tree | e2da4d1f0bf89c9bce5c29783744f12039b3dd33 | |
| parent | c40e2ac2b61e7302de37f54574df987053c15cb2 (diff) | |
| parent | ad04cb72f9eb2f88c9a3f597c1daaa686481f677 (diff) | |
| download | rust-42f401dd02fd418e038d9b2829d60d69407e9aab.tar.gz rust-42f401dd02fd418e038d9b2829d60d69407e9aab.zip | |
Auto merge of #55064 - RalfJung:miri-update, r=oli-obk
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
| m--------- | src/tools/miri | 24 |
1 files changed, 19 insertions, 5 deletions
diff --git a/src/tools/miri b/src/tools/miri -Subproject 26f9d617c347185433b77c481a5c50c55d9b72c +Subproject 8b14b03368429e6ee2a8ac0e0c876505606ab1f |