mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-22 18:15:07 +03:00
Auto merge of #88692 - hyd-dev:miri, r=RalfJung
Update Miri Fixes #88671. r? `@RalfJung`
This commit is contained in:
+25
-2
@@ -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
Submodule src/tools/miri updated: 09cadcbb62...7a2f1cadcd
Reference in New Issue
Block a user