Classes | |
| struct | ExprCmp |
| struct | ExprHash |
Functions | |
| size_t | GetTotalMallocUsage () |
| Get total malloc usage in bytes. More... | |
Function Documentation
◆ GetTotalMallocUsage()
| size_t klee::util::GetTotalMallocUsage | ( | ) |
Get total malloc usage in bytes.
Definition at line 87 of file MemoryUsage.cpp.
References klee::klee_error().
Referenced by klee::Executor::checkMemoryUsage(), and klee::StatsTracker::writeStatsLine().
Here is the call graph for this function:
Here is the caller graph for this function:
