diff options
| author | Ralf Jung <post@ralfj.de> | 2019-09-29 13:57:26 -0400 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-09-29 13:57:26 -0400 |
| commit | 17fa7fe77e73a7fa9a544d77de2f33b068df705f (patch) | |
| tree | b27d239bc94666f27161d28b1122183062e3636d | |
| parent | f3c8eba643a815d720e7f20699b3dca144c845c4 (diff) | |
| download | rust-17fa7fe77e73a7fa9a544d77de2f33b068df705f.tar.gz rust-17fa7fe77e73a7fa9a544d77de2f33b068df705f.zip | |
bump Miri
| -rw-r--r-- | Cargo.lock | 22 | ||||
| m--------- | src/tools/miri | 15 |
2 files changed, 10 insertions, 27 deletions
diff --git a/Cargo.lock b/Cargo.lock index 5a92011d570..cbb41c6394d 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -566,7 +566,6 @@ dependencies = [ "serde_derive", "serde_json", "tempfile", - "tester", "winapi 0.3.6", ] @@ -4325,16 +4324,6 @@ dependencies = [ [[package]] name = "term" -version = "0.4.6" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "fa63644f74ce96fbeb9b794f66aff2a52d601cbd5e80f4b97123e3899f4570f1" -dependencies = [ - "kernel32-sys", - "winapi 0.2.8", -] - -[[package]] -name = "term" version = "0.6.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "0dd90505d5006a4422d3520b30c781d480b3f36768c2fa2187c3e950bc110464" @@ -4390,17 +4379,6 @@ dependencies = [ ] [[package]] -name = "tester" -version = "0.5.0" -source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "5e812cb26c597f86a49b26dbb58b878bd2a2b4b93fc069dc39499228fe556ff6" -dependencies = [ - "getopts", - "libc", - "term 0.4.6", -] - -[[package]] name = "textwrap" version = "0.11.0" source = "registry+https://github.com/rust-lang/crates.io-index" diff --git a/src/tools/miri b/src/tools/miri -Subproject 130f9488d3b861e02c9282b686eec717e30912c +Subproject 07ac10277ea5ad42efbb914da5844e0ab08efbf |