Auto merge of #66488 - RalfJung:miri, r=RalfJung

update Miri r? @ghost Cc @oli-obk
2019-11-17 10:45:37 +00:00 · 2019-11-17 10:45:37 +00:00 · 4b6cef1e32
commit 4b6cef1e32
parent 5966d9b4d9 2bfa622a99
2 changed files with 13 additions and 1 deletions
--- a/Cargo.lock
+++ b/Cargo.lock
@ -603,6 +603,7 @@ dependencies = [
 "serde_derive",
 "serde_json",
 "tempfile",
+ "tester",
 "winapi 0.3.8",
 ]

@ -4563,6 +4564,17 @@ dependencies = [
 "term 0.0.0",
 ]

+[[package]]
+name = "tester"
+version = "0.5.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cd0d1044cb5ca390e9c93f8c35abd2c55484397dfd786f189321aa34605ee6ab"
+dependencies = [
+ "getopts",
+ "libc",
+ "term 0.6.0",
+]
+
 [[package]]
 name = "textwrap"
 version = "0.11.0"
--- a/src/tools/miri
+++ b/src/tools/miri
@ -1 +1 @@
-Subproject commit 8355437d5d0e747b7e7239cd0a2af8a3825bd912
+Subproject commit 67a63f89d8c0e5b22fb52cc33274283819f41792