Searched refs:mem_used1 (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ | ||
| H A D | Main.C | 86 int64 mem_used1 = memUsed(); local 87 if (mem_used1!= 0) reportf("Extra memory used : %.2f MB\n", 88 (mem_used1-mem_used)/1048576.0); |
Completed in 21 milliseconds