3 Commits

Author	SHA1	Message	Date
Ralf Jung	b64c9a0a83	make scheduler preemptive, with configurable preemption rate	2022-06-06 20:16:02 -04:00
Andy Wang	32627d5abb	Disable weak memory emulation on scheduler-dependent data race tests	2022-06-06 19:15:23 +01:00
Ralf Jung	3d634c975c	rename test suite directories	2022-06-01 10:53:38 -04:00