We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d53937c commit 082fbf9Copy full SHA for 082fbf9
tests/pass/threadleak_ignored.rs
@@ -1,5 +1,4 @@
1
-// FIXME: disallow preemption to work around https://github.com/rust-lang/rust/issues/55005
2
-//@compile-flags: -Zmiri-ignore-leaks -Zmiri-preemption-rate=0
+//@compile-flags: -Zmiri-ignore-leaks
3
4
//! Test that leaking threads works, and that their destructors are not executed.
5
0 commit comments