disable preemption in tokio tests again

2023-04-21 15:13:20 +02:00 · 2023-04-21 15:13:20 +02:00 · 28f6297d09
commit 28f6297d09
parent f0c207f7a8
1 changed files with 1 additions and 1 deletions
--- a/src/tools/miri/tests/pass-dep/tokio/tokio_mvp.rs
+++ b/src/tools/miri/tests/pass-dep/tokio/tokio_mvp.rs
@ -1,5 +1,5 @@
 // Need to disable preemption to stay on the supported MVP codepath in mio.
-//@compile-flags: -Zmiri-permissive-provenance
+//@compile-flags: -Zmiri-permissive-provenance -Zmiri-preemption-rate=0
 //@only-target-x86_64-unknown-linux: support for tokio exists only on linux and x86

 #[tokio::main]