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

Store timestamps for killed mutants #5

Open afd opened 1 month ago

afd commented 1 month ago

To the JSON produced for each mutant, store a timestamp for when the kill occurred.

To the JSON produced for each test, store two timestamps: one for when consideration of the test started, and one for when it completed.

afd commented 1 month ago

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