Skip to content

Commit

Permalink
data-race test: disable address reuse that can incur accidental sync
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Oct 17, 2024
1 parent fa1e265 commit 8640c43
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail-dep/libc/socketpair-data-race.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
//! This is a regression test for <https://github.com/rust-lang/miri/issues/3947>: we had some
//! faulty logic around `release_clock` that led to this code not reporting a data race.
//@ignore-target: windows # no libc socketpair on Windows
//@compile-flags: -Zmiri-preemption-rate=0
//@compile-flags: -Zmiri-preemption-rate=0 -Zmiri-address-reuse-rate=0
use std::thread;

fn main() {
Expand Down

0 comments on commit 8640c43

Please sign in to comment.