Skip to content

Commit

Permalink
bump Miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Feb 21, 2020
1 parent 01a8b5f commit 821c440
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 18 files
+6 −6 README.md
+1 −1 rust-version
+2 −1 src/lib.rs
+5 −0 src/shims/foreign_items.rs
+110 −32 src/shims/fs.rs
+1 −1 test-cargo-miri/tests/test.rs
+7 −1 tests/compile-fail/copy_null.rs
+7 −3 tests/compile-fail/copy_overlapping.rs
+7 −1 tests/compile-fail/copy_unaligned.rs
+0 −3 tests/run-pass/coerce_non_capture_closure_to_fn_ptr.rs
+113 −21 tests/run-pass/fs.rs
+7 −2 tests/run-pass/panic/catch_panic.rs
+6 −0 tests/run-pass/panic/catch_panic.stderr
+1 −1 tests/run-pass/panic/div-by-zero-2.rs
+1 −2 tests/run-pass/panic/overflowing-lsh-neg.rs
+1 −1 tests/run-pass/panic/overflowing-lsh-neg.stderr
+1 −1 tests/run-pass/panic/overflowing-rsh-1.rs
+1 −1 tests/run-pass/panic/overflowing-rsh-2.rs

0 comments on commit 821c440

Please sign in to comment.