OpenE2K
/
rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

update miri

This commit is contained in:
Ralf Jung 2019-10-14 17:59:45 +02:00
parent 446e5e57b6
commit 4977e319a4
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Cargo.lock
View File

@ -556,9 +556,9 @@ dependencies = [
[[package]]
name = "compiletest_rs"
version = "0.3.23"
version = "0.3.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "eb783fe7afb90ec3d3e49ccaf9196d29ab63c6ed61d4b0695839daa580ae3a3d"
checksum = "676a74b493d50ac33cacd83fd536597e6b52c0b46b9856f7b9c809d82fef4ac0"
dependencies = [
"diff",
"filetime",

2
src/tools/miri

@ -1 +1 @@
Subproject commit 07ac10277ea5ad42efbb914da5844e0ab08efbf4
Subproject commit 2adc39f27b7fd2d06b3d1d470827928766731a1d