update Miri

2019-11-17 11:40:18 +01:00 · 2019-11-17 11:40:18 +01:00 · 2bfa622a99
commit 2bfa622a99
parent 8831d766ac
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",
 ]

@ -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"
--- a/src/tools/miri
+++ b/src/tools/miri
@ -1 +1 @@
-Subproject commit 8355437d5d0e747b7e7239cd0a2af8a3825bd912
+Subproject commit 67a63f89d8c0e5b22fb52cc33274283819f41792