Merge pull request #4797 from RalfJung/apple-det

fix non-determinism in os_unfair_lock test
2025-12-31 10:15:36 +00:00 · 2025-12-31 10:15:36 +00:00 · facf7adc35
commit facf7adc35
parent a2a812e76c 4ba9b739a4
1 changed files with 1 additions and 0 deletions
--- a/src/tools/miri/tests/fail-dep/concurrency/apple_os_unfair_lock_move_with_queue.rs
+++ b/src/tools/miri/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;