Searched defs:mem_used (Results 1 - 2 of 2) 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) argument
84 void printProofStats(double cpu_time, int64 mem_used) { argument
96 int64 mem_used = 0; local
265 double cpu_time = 0; int64 mem_used = 0; local
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp252 int64 mem_used = memUsed(); local

Completed in 68 milliseconds