Update tests/pass-dep/tokio_mvp.rs

Co-authored-by: Ralf Jung <post@ralfj.de>
rust-lang · Dec 12, 2022 · e456363 · e456363
1 parent c7d173e
commit e456363
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/pass-dep/tokio_mvp.rs b/tests/pass-dep/tokio_mvp.rs
@@ -1,3 +1,4 @@
+// Need to disable preemption to stay on the supported MVP codepath in mio.
 //@compile-flags: -Zmiri-disable-isolation -Zmiri-permissive-provenance -Zmiri-preemption-rate=0
 //@only-target-x86_64-unknown-linux: support for tokio exists only on linux and x86