Ralf Jung a4cbbddc8e merge parking test into general synchronization test		2020-10-03 15:27:23 +02:00
..
compile-fail	add backtics back in isolation error message	2020-10-03 15:25:30 +02:00
run-pass	merge parking test into general synchronization test	2020-10-03 15:27:23 +02:00
compiletest.rs	update docs, and also use MIRIFLAGS for the test suite	2020-09-17 17:29:19 +02:00