Skip to content

Commit

Permalink
update Miri
Browse files Browse the repository at this point in the history
  • Loading branch information
@RalfJung
RalfJung committed Mar 2, 2021
1 parent dc685f6 commit be958e1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri
Submodule miri updated 13 files
+1 −1 .github/workflows/ci.yml
+3 −4 ci.sh
+1 −1 rust-version
+57 −23 src/data_race.rs
+399 −106 src/shims/intrinsics.rs
+2 −3 tests/compile-fail/data_race/dealloc_read_race_stack.rs
+0 −52 tests/compile-fail/data_race/dealloc_read_race_stack_drop.rs
+2 −3 tests/compile-fail/data_race/dealloc_write_race_stack.rs
+0 −53 tests/compile-fail/data_race/dealloc_write_race_stack_drop.rs
+2 −1 tests/compile-fail/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs
+2 −1 tests/compile-fail/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs
+2 −1 tests/compile-fail/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs
+14 −0 tests/run-pass/atomic.rs

0 comments on commit be958e1

Please sign in to comment.