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

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C84 void printProofStats(double cpu_time, int64 mem_used) { function
292 printProofStats(cpu_time,mem_used);
297 printProofStats(cpu_time,mem_used);
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp250 void printProofStats() { function
511 printProofStats();

Completed in 24 milliseconds