src/tools/miri/tests/pass-dep/tokio_mvp.rs

   1 // Need to disable preemption to stay on the supported MVP codepath in mio.
   2 //@compile-flags: -Zmiri-disable-isolation -Zmiri-permissive-provenance -Zmiri-preemption-rate=0
   3 //@only-target-x86_64-unknown-linux: support for tokio exists only on linux and x86
   4
   5 #[tokio::main]
   6 async fn main() {}