Comment Comment by olmo23 IIRC the official test-suite is not open-source, so I'm not sure how possible this is. parent olmo23 8 months ago
