no concurrency on windows

This commit is contained in:
Ralf Jung 2021-07-25 14:38:02 +02:00
parent df9d481989
commit 679d10f98b

View File

@ -1,3 +1,4 @@
// ignore-windows: Concurrency on Windows is not supported yet.
// compile-flags: -Zmiri-ignore-leaks
//! Test that leaking threads works, and that their destructors are not executed.