Skip to content

Commit e456363

Browse files
Update tests/pass-dep/tokio_mvp.rs
Co-authored-by: Ralf Jung <post@ralfj.de>
1 parent c7d173e commit e456363

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

tests/pass-dep/tokio_mvp.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// Need to disable preemption to stay on the supported MVP codepath in mio.
12
//@compile-flags: -Zmiri-disable-isolation -Zmiri-permissive-provenance -Zmiri-preemption-rate=0
23
//@only-target-x86_64-unknown-linux: support for tokio exists only on linux and x86
34

0 commit comments

Comments
 (0)