Skip to content

Commit

Permalink
Auto merge of #85634 - RalfJung:miri, r=RalfJung
Browse files Browse the repository at this point in the history 
update Miri

Fixes #85591
  • Loading branch information
@bors
bors committed May 25, 2021
2 parents a7890c7 + 8b8801e commit cdbe288
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 9 files
+1 −1 rust-version
+60 −55 src/data_race.rs
+22 −18 src/machine.rs
+4 −2 src/shims/backtrace.rs
+2 −1 src/shims/panic.rs
+1 −1 src/shims/posix/sync.rs
+75 −35 src/stacked_borrows.rs
+10 −12 src/thread.rs
+1 −1 tests/compile-fail/stacked_borrows/static_memory_modification.rs

0 comments on commit cdbe288

Please sign in to comment.