mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #2848 - RalfJung:tokio, r=RalfJung

Browse Source 
disable preemption in tokio tests again

The comment even still says we need preemption disabled, but the flag got lost in https://github.com/rust-lang/miri/pull/2764.
This commit is contained in:
bors 2023-04-21 15:52:10 +00:00
commit 2b066a3bba
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/tests/pass-dep/tokio/tokio_mvp.rs
View File

@ -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]