mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update Miri

Browse Source
This commit is contained in:
Ralf Jung 2019-11-28 18:40:05 +01:00
parent 4752c05af4
commit 9e940f0277
2 changed files with 5 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
Cargo.lock
View File

@ -466,7 +466,7 @@ dependencies = [
"cargo_metadata 0.9.0",
"clippy-mini-macro-test",
"clippy_lints",
"compiletest_rs 0.4.0",
"compiletest_rs",
"derive-new",
"lazy_static 1.3.0",
"regex",
@ -474,7 +474,7 @@ dependencies = [
"rustc_tools_util 0.2.0",
"semver",
"serde",
"tester 0.7.0",
"tester",
]
[[package]]
@ -595,28 +595,6 @@ dependencies = [
"winapi 0.3.8",
]
[[package]]
name = "compiletest_rs"
version = "0.3.26"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d7d8975604ebad8b6660796802377eb6495045c5606168fc1b8d19a4dd9bfa46"
dependencies = [
"diff",
"filetime",
"getopts",
"libc",
"log",
"miow 0.3.3",
"regex",
"rustfix",
"serde",
"serde_derive",
"serde_json",
"tempfile",
"tester 0.6.0",
"winapi 0.3.8",
]
[[package]]
name = "compiletest_rs"
version = "0.4.0"
@ -635,7 +613,7 @@ dependencies = [
"serde_derive",
"serde_json",
"tempfile",
"tester 0.7.0",
"tester",
"winapi 0.3.8",
]
@ -2223,7 +2201,7 @@ dependencies = [
"byteorder",
"cargo_metadata 0.9.0",
"colored",
"compiletest_rs 0.3.26",
"compiletest_rs",
"directories",
"env_logger 0.7.1",
"getrandom",
@ -4621,17 +4599,6 @@ dependencies = [
"term 0.0.0",
]
[[package]]
name = "tester"
version = "0.6.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7647e6d732eb84375d8e7abda37818f81861ddbfc7235e33f4983cb254b71e4f"
dependencies = [
"getopts",
"libc",
"term 0.6.0",
]
[[package]]
name = "tester"
version = "0.7.0"

2
src/tools/miri

@ -1 +1 @@
Subproject commit 644e2a76a87a129f597dc40b47593fc8f72539cb
Subproject commit 3bf51f591f7ffdd45f51cd1d42a4002482af2bd5