diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs | 1 |
1 files changed, 1 insertions, 0 deletions
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 648c004c97c..d21f953672d 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; |