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

update Miri

This commit is contained in:
Ralf Jung 2019-12-08 11:34:36 +01:00
parent e862c01aad
commit 3d05a2705f
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Cargo.lock
View File

@ -2213,6 +2213,7 @@ dependencies = [
"rand 0.7.0",
"rustc-workspace-hack",
"rustc_version",
"serde",
"shell-escape",
"vergen",
]

2
src/tools/miri

@ -1 +1 @@
Subproject commit a0ba079b6af0f8c07c33dd8af72a51c997e58967
Subproject commit 048af409232fc2d7f8fbe5469080dc8bb702c498