From 3f6fc1fb5a9550347d13beb8004b2391126a4633 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 28 Oct 2022 15:48:58 +0200 Subject: [PATCH] threadleak_ignored should now pass with preemption (the issue has been fixed a while ago) --- src/tools/miri/tests/pass/threadleak_ignored.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/tools/miri/tests/pass/threadleak_ignored.rs b/src/tools/miri/tests/pass/threadleak_ignored.rs index 6a10748ee95..a5f81573e96 100644 --- a/src/tools/miri/tests/pass/threadleak_ignored.rs +++ b/src/tools/miri/tests/pass/threadleak_ignored.rs @@ -1,5 +1,4 @@ -// FIXME: disallow preemption to work around https://github.com/rust-lang/rust/issues/55005 -//@compile-flags: -Zmiri-ignore-leaks -Zmiri-preemption-rate=0 +//@compile-flags: -Zmiri-ignore-leaks //! Test that leaking threads works, and that their destructors are not executed.