diff --git a/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs b/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs index 648c004c97cc..d21f953672de 100644 --- a/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs +++ b/src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs @@ -219,6 +219,7 @@ fn wait_wake_bitset() { t.join().unwrap(); } +// Crucial test which relies on the SeqCst fences in futex wait/wake. fn concurrent_wait_wake() { const FREE: i32 = 0; const HELD: i32 = 1;