thread name setting works with strict provenance now :)

This commit is contained in:
Ralf Jung 2022-04-07 16:39:18 -04:00
parent c8553d8162
commit 363f8ab745

View File

@ -1,5 +1,5 @@
// ignore-windows: Concurrency on Windows is not supported yet. // ignore-windows: Concurrency on Windows is not supported yet.
// compile-flags: -Zmiri-check-number-validity // compile-flags: -Zmiri-strict-provenance
use std::thread; use std::thread;