3 Commits

Author	SHA1	Message	Date
Pietro Albini	070cc836e9	properly mark tests that require panic=abort	2023-06-12 09:34:15 +02:00
Camille GILLOT	051dd6714c	Remove duplication.	2023-06-01 21:41:58 +00:00
Camille GILLOT	332b7f51d6	Add mir-opt tests to track MIR quality.	2023-04-23 17:10:53 +00:00