4 Commits

Author	SHA1	Message	Date
Ralf Jung	71efd950d1	also ignore 'thread leaks' with -Zmiri-ignore-leaks	2021-07-25 14:21:06 +02:00
Ralf Jung	fcdacce4b1	fix some ignore-windows comments	2020-06-28 20:40:20 +02:00
Vytautas Astrauskas	e7b82fde4a	Fix the test annotation.	2020-04-27 14:26:36 -07:00
Vytautas Astrauskas	5b55e0706c	Add more concurrency tests.	2020-04-27 14:26:36 -07:00