if (!target.isCoveredBy(mergedSolution)) { Population population = this.archive.get(target);
if (goal.isCoveredBy(testSuiteCopy)) { logger.debug("Goal {} is covered", goal); covered++;
if (fitness_function.isCoveredBy(suite)) { covered.add(num); covered_goals++;