Skip to content

Commit

Permalink
disable preemption in tokoo tests again
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Apr 21, 2023
1 parent db634e3 commit 237e477
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/pass-dep/tokio/tokio_mvp.rs
Original file line number Diff line number Diff line change
@@ -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-preemtpion-rate=0
//@only-target-x86_64-unknown-linux: support for tokio exists only on linux and x86

#[tokio::main]
Expand Down

0 comments on commit 237e477

Please sign in to comment.