mc-imperial / dredd-compiler-testing

Scripts to allow the Dredd mutation testing framework to be used for compiler testing
Apache License 2.0
0 stars 1 forks source link

Revise summary JSON's representation and reduce compiler-crash test cases #12

Open JonathanFoo0523 opened 2 weeks ago

JonathanFoo0523 commented 2 weeks ago

Support reduction of test cases that lead to compiler crashes. Replaces mutant lists with a mutant count to reduce summary file size. Additionally, timestamps for analysis and kills are now stored in the summary file. Minor updates to the README ensure a more robust experiment process.

Fixes #3 , #4 , #5 , #7 , #8