linux-futex test: add comment

RalfJung · RalfJung · commit f70feaf60436 · 2024-03-04T09:34:07.000+01:00
diff --git 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;

Original file line number	Diff line number	Diff line change
`@@ -219,6 +219,7 @@ fn wait_wake_bitset() {`
`219`	`219`	`t.join().unwrap();`
`220`	`220`	`}`
`221`	`221`
	`222`	`+// Crucial test which relies on the SeqCst fences in futex wait/wake.`
`222`	`223`	`fn concurrent_wait_wake() {`
`223`	`224`	`const FREE: i32 = 0;`
`224`	`225`	`const HELD: i32 = 1;`