Searched refs:MaxCov (Results 1 – 1 of 1) sorted by relevance
90 size_t MaxCov = 0; in ShuffleAndMinimize() local111 MaxCov = NewCoverage; in ShuffleAndMinimize()121 PrintStats("INITED", MaxCov); in ShuffleAndMinimize()