dextool v1.2.2 (2019-07-12T16:12:10Z)

TestGroupStat.killed

dextool plugin mutate backend report utility TestGroupStat

Mutants killed in a file.

class TestGroupStat
MutantInfo[][FileId] killed;

Meta

Source

See Implementation

dextool plugin mutate backend report utility TestGroupStat variables

Page generated by adrdox