GitHub repository: mc-imperial/dredd-compiler-testing
Primary language: Python
Description: Scripts to allow the Dredd mutation testing framework to be used for compiler testing