From 6105f8854f2d1799ff6fd9748f3c7fc73f14699c Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 21 Apr 2023 15:13:20 +0200 Subject: [PATCH] disable preemption in tokio tests again --- tests/pass-dep/tokio/tokio_mvp.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/pass-dep/tokio/tokio_mvp.rs b/tests/pass-dep/tokio/tokio_mvp.rs index 0ed2a941bc..769a7a7d38 100644 --- a/tests/pass-dep/tokio/tokio_mvp.rs +++ b/tests/pass-dep/tokio/tokio_mvp.rs @@ -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]