Skip to content

Commit

Permalink
update Miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Oct 29, 2020
1 parent a53fb30 commit 82634ff
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 19 files
+16 −8 README.md
+2 −0 cargo-miri/bin.rs
+1 −1 miri
+1 −1 rust-version
+3 −0 src/bin/miri.rs
+4 −0 src/diagnostics.rs
+4 −10 src/eval.rs
+11 −12 src/machine.rs
+17 −13 src/range_map.rs
+47 −44 src/stacked_borrows.rs
+13 −0 tests/compile-fail/stacked_borrows/raw_tracking.rs
+0 −28 tests/run-pass/box-pair-to-vec.rs
+60 −0 tests/run-pass/box.rs
+0 −0 tests/run-pass/box.stdout
+2 −1 tests/run-pass/dyn-traits.rs
+0 −1 tests/run-pass/panic/catch_panic.rs
+0 −2 tests/run-pass/panic/catch_panic.stderr
+2 −0 tests/run-pass/vec.rs
+2 −0 tests/run-pass/vecdeque.rs

0 comments on commit 82634ff

Please sign in to comment.