Auto merge of #88692 - hyd-dev:miri, r=RalfJung
Update Miri Fixes #88671. r? `@RalfJung`
This commit is contained in:
commit
1698e3cac5
2 changed files with 26 additions and 3 deletions
27
Cargo.lock
27
Cargo.lock
|
@ -558,7 +558,7 @@ version = "0.1.56"
|
|||
dependencies = [
|
||||
"cargo_metadata 0.12.0",
|
||||
"clippy_lints",
|
||||
"compiletest_rs",
|
||||
"compiletest_rs 0.6.0",
|
||||
"derive-new",
|
||||
"filetime",
|
||||
"quote",
|
||||
|
@ -711,6 +711,29 @@ dependencies = [
|
|||
"winapi",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "compiletest_rs"
|
||||
version = "0.7.0"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "64698e5e2435db061a85e6320af12c30c5fd88eb84b35d2c1e03ce4f143255ca"
|
||||
dependencies = [
|
||||
"diff",
|
||||
"filetime",
|
||||
"getopts",
|
||||
"lazy_static",
|
||||
"libc",
|
||||
"log",
|
||||
"miow",
|
||||
"regex",
|
||||
"rustfix 0.5.1",
|
||||
"serde",
|
||||
"serde_derive",
|
||||
"serde_json",
|
||||
"tempfile",
|
||||
"tester",
|
||||
"winapi",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "core"
|
||||
version = "0.0.0"
|
||||
|
@ -2250,7 +2273,7 @@ name = "miri"
|
|||
version = "0.1.0"
|
||||
dependencies = [
|
||||
"colored",
|
||||
"compiletest_rs",
|
||||
"compiletest_rs 0.7.0",
|
||||
"env_logger 0.8.1",
|
||||
"getrandom 0.2.0",
|
||||
"hex 0.4.2",
|
||||
|
|
|
@ -1 +1 @@
|
|||
Subproject commit 09cadcbb62a3529801d0463d9878db3f0b5060c7
|
||||
Subproject commit 7a2f1cadcd5120c44eda3596053de767cd8173a2
|
Loading…
Add table
Add a link
Reference in a new issue