void run() { statsTracker->computeReachableUncovered(); }
void run() { statsTracker->writeStatsLine(); }
void run() { statsTracker->writeIStats(); }
void run() {
statsTracker->logSummary();
}
void run() {
statsTracker->commitDetailedLogs();
}
void run() {
statsTracker->writeStatsLine();
statsTracker->writeSolverQueries();
}
