update Miri

diff --git a/Cargo.lock b/Cargo.lock
index 2ecb38851e7bd111ae7d76d2378ed7397670c82c..38973dfa169d2ded9bd920918871c3c16bf37b00 100644 (file)
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -603,6 +603,7 @@ dependencies = [
  "serde_derive",
  "serde_json",
  "tempfile",
+ "tester",
  "winapi 0.3.8",
 ]
 
@@ -4552,6 +4553,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
index 8355437d5d0e747b7e7239cd0a2af8a3825bd912..67a63f89d8c0e5b22fb52cc33274283819f41792 160000 (submodule)
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 8355437d5d0e747b7e7239cd0a2af8a3825bd912
+Subproject commit 67a63f89d8c0e5b22fb52cc33274283819f41792