An issue with the current layout of mutant information in stats.json is that it's hard to know how a mutant was killed, and when we fix #119 we'll lose information about which mutants got compiler timeouts etc. altogether. It'd be nice if the statset for mutants contained per-status totals.
An issue with the current layout of mutant information in stats.json is that it's hard to know how a mutant was killed, and when we fix #119 we'll lose information about which mutants got compiler timeouts etc. altogether. It'd be nice if the statset for mutants contained per-status totals.