Searched refs:printStats (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C71 void printStats(SolverStats& stats, double& cpu_time, int64& mem_used) function
97 printStats(solver->stats,cpu_time,mem_used);
266 printStats(S.stats,cpu_time,mem_used);

Completed in 22 milliseconds