dextool v5.0.0 (2022-12-09T08:28:15Z)

MutantSample.highestPrio

dextool plugin mutate backend report analyzers MutantSample

The mutant that had its status updated the furthest back in time. The mutant that has survived the longest in the system.

class MutantSample
MutationStatus[] highestPrio;

Meta

Source

See Implementation

dextool plugin mutate backend report analyzers MutantSample variables

Page generated by adrdox