We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fa1e265 commit 8640c43Copy full SHA for 8640c43
src/tools/miri/tests/fail-dep/libc/socketpair-data-race.rs
@@ -1,7 +1,7 @@
1
//! This is a regression test for <https://github.com/rust-lang/miri/issues/3947>: we had some
2
//! faulty logic around `release_clock` that led to this code not reporting a data race.
3
//@ignore-target: windows # no libc socketpair on Windows
4
-//@compile-flags: -Zmiri-preemption-rate=0
+//@compile-flags: -Zmiri-preemption-rate=0 -Zmiri-address-reuse-rate=0
5
use std::thread;
6
7
fn main() {
0 commit comments