dextool
dextool copied to clipboard
Mutant prioritization upon click in HTML report
Problem
The HTML report priorities the first alive mutant to be shown when clicking on a location in a file. This is irritating for a user that have a syntactically small mutant that survived inside a void function whose body delete survived.
Solution
The user would like the syntactically smallest mutant to be prioritized.