Skip to content

Commit

Permalink
update Miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Dec 8, 2019
1 parent e862c01 commit 3d05a27
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions Cargo.lock
View file
Expand Up @@ -2213,6 +2213,7 @@ dependencies = [
"rand 0.7.0",
"rustc-workspace-hack",
"rustc_version",
"serde",
"shell-escape",
"vergen",
]
Expand Down
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 22 files
+1 −0 Cargo.lock
+2 −1 Cargo.toml
+15 −16 README.md
+1 −0 benches/helpers/miri_helper.rs
+1 −1 rust-version
+2 −0 src/bin/miri-rustc-tests.rs
+5 −0 src/bin/miri.rs
+7 −4 src/eval.rs
+1 −1 src/helpers.rs
+2 −2 src/shims/foreign_items.rs
+1 −1 src/shims/mod.rs
+3 −2 test-cargo-miri/test.stdout.ref
+1 −1 test-cargo-miri/test.stdout.ref2
+1 −1 test-cargo-miri/test.stdout.ref3
+1 −1 test-cargo-miri/tests/test.rs
+1 −1 tests/compile-fail/never_say_never.rs
+1 −1 tests/compile-fail/never_transmute_humans.rs
+1 −1 tests/compile-fail/never_transmute_void.rs
+1 −1 tests/compile-fail/out_of_bounds_ptr_2.rs
+1 −1 tests/compile-fail/ptr_offset_overflow.rs
+5 −0 tests/run-pass/memleak_ignored.rs
+54 −0 tests/run-pass/track-caller-attribute.rs

0 comments on commit 3d05a27

Please sign in to comment.