threadleak_ignored should now pass with preemption (the issue has been fixed a while ago)

2022-10-28 15:48:58 +02:00 · 2022-10-28 15:48:58 +02:00 · 3f6fc1fb5a
commit 3f6fc1fb5a
parent a23d1fb1ac
1 changed files with 1 additions and 2 deletions
--- 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.