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 = [
|
dependencies = [
|
||||||
"cargo_metadata 0.12.0",
|
"cargo_metadata 0.12.0",
|
||||||
"clippy_lints",
|
"clippy_lints",
|
||||||
"compiletest_rs",
|
"compiletest_rs 0.6.0",
|
||||||
"derive-new",
|
"derive-new",
|
||||||
"filetime",
|
"filetime",
|
||||||
"quote",
|
"quote",
|
||||||
|
@ -711,6 +711,29 @@ dependencies = [
|
||||||
"winapi",
|
"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]]
|
[[package]]
|
||||||
name = "core"
|
name = "core"
|
||||||
version = "0.0.0"
|
version = "0.0.0"
|
||||||
|
@ -2250,7 +2273,7 @@ name = "miri"
|
||||||
version = "0.1.0"
|
version = "0.1.0"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"colored",
|
"colored",
|
||||||
"compiletest_rs",
|
"compiletest_rs 0.7.0",
|
||||||
"env_logger 0.8.1",
|
"env_logger 0.8.1",
|
||||||
"getrandom 0.2.0",
|
"getrandom 0.2.0",
|
||||||
"hex 0.4.2",
|
"hex 0.4.2",
|
||||||
|
|
|
@ -1 +1 @@
|
||||||
Subproject commit 09cadcbb62a3529801d0463d9878db3f0b5060c7
|
Subproject commit 7a2f1cadcd5120c44eda3596053de767cd8173a2
|
Loading…
Add table
Add a link
Reference in a new issue