Merge pull request #4797 from RalfJung/apple-det

RalfJung · web-flow · commit cb3bfe8ef402 · 2025-12-31T10:15:36.000Z
fix non-determinism in os_unfair_lock test
diff --git a/tests/fail-dep/concurrency/apple_os_unfair_lock_move_with_queue.rs b/tests/fail-dep/concurrency/apple_os_unfair_lock_move_with_queue.rs
@@ -1,4 +1,5 @@
 //@only-target: darwin
+//@compile-flags: -Zmiri-fixed-schedule
 #![feature(sync_unsafe_cell)]
 
 use std::cell::SyncUnsafeCell;

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`//@only-target: darwin`
	`2`	`+//@compile-flags: -Zmiri-fixed-schedule`
`2`	`3`	`#![feature(sync_unsafe_cell)]`
`3`	`4`
`4`	`5`	`use std::cell::SyncUnsafeCell;`