Add 0 preemption rate flag

2024-08-25 03:15:52 +08:00 · 2024-08-25 03:15:52 +08:00 · 09993ce6d5
commit 09993ce6d5
parent 7d5be0629b
1 changed files with 2 additions and 0 deletions
--- a/src/tools/miri/tests/pass-dep/libc/libc-epoll-blocking.rs
+++ b/src/tools/miri/tests/pass-dep/libc/libc-epoll-blocking.rs
@ -1,4 +1,6 @@
 //@only-target-linux
+// test_epoll_block_then_unblock depends on a deterministic schedule.
+//@compile-flags: -Zmiri-preemption-rate=0

 use std::convert::TryInto;
 use std::thread;