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

bors · bors · commit 4b6cef1e32b4 · 2019-11-17T10:45:37.000Z
update Miri r? @ghost Cc @oli-obk
diff --git 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"
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 8355437d5d0e747b7e7239cd0a2af8a3825bd912
+Subproject commit 67a63f89d8c0e5b22fb52cc33274283819f41792
