klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::util Namespace Reference

Classes

struct  ExprCmp
 
struct  ExprHash
 

Functions

size_t GetTotalMallocUsage ()
 
double getUserTime ()
 
double getWallTime ()
 

Function Documentation

size_t klee::util::GetTotalMallocUsage ( )

Definition at line 15 of file MemoryUsage.cpp.

Referenced by klee::Executor::run().

Here is the caller graph for this function:

double klee::util::getUserTime ( )

Definition at line 18 of file Time.cpp.

Referenced by klee::StatsTracker::writeStatsLine().

Here is the caller graph for this function: