search

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

Reduce the amount of information stored during testing #4

Open afd opened 1 month ago

afd commented 1 month ago

When writing a report for a test case we do want to know which mutants it killed.

However, we cannot afford to store data on exactly which mutants were covered, which were skipped and which survived.

Instead, let's store the number of mutants in each of these categories.

This should be updated in all of the runners.

afd commented 1 month ago

See https://github.com/mc-imperial/dredd-compiler-testing/pull/6 for notes