dextool icon indicating copy to clipboard operation
dextool copied to clipboard

Mutant prioritization upon click in HTML report

Open joakim-brannstrom opened this issue 4 years ago • 0 comments

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.

joakim-brannstrom avatar Nov 24 '20 15:11 joakim-brannstrom