Skip to content

Commit

Permalink
update Miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Jan 31, 2021
1 parent 9b32429 commit e105b0e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 9 files
+4 −0 README.md
+1 −1 rust-version
+1 −2 tests/compile-fail/dangling_pointers/dangling_pointer_addr_of.rs
+1 −2 tests/compile-fail/extern_static.rs
+1 −2 tests/compile-fail/unaligned_pointers/unaligned_ptr_addr_of.rs
+1 −0 tests/run-pass/issue-73223.rs
+1 −0 tests/run-pass/many_shr_bor.rs
+3 −5 tests/run-pass/packed_struct.rs
+2 −3 tests/run-pass/stacked-borrows/stacked-borrows.rs

0 comments on commit e105b0e

Please sign in to comment.