diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2016-02-29 14:14:43 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2016-02-29 14:14:43 +0100 |
| commit | ce1dd5a7f3de7b536a9ff266a9231b44a053fe95 (patch) | |
| tree | 47dd5e214efaa3a28333a071c30a35895a03b5ed /lib/Core/StatsTracker.cpp | |
| parent | 0fc86ca9e28cc411cb5e00afa22c32e77aca7e57 (diff) | |
| parent | 18f01e9f6d5471d176091f24671bef3eac0293ac (diff) | |
| download | klee-ce1dd5a7f3de7b536a9ff266a9231b44a053fe95.tar.gz | |
Merge pull request #344 from MartinNowack/feat_malloc
Add support for tcmalloc
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
| -rw-r--r-- | lib/Core/StatsTracker.cpp | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp index 2e107fb3..9995b7e2 100644 --- a/lib/Core/StatsTracker.cpp +++ b/lib/Core/StatsTracker.cpp @@ -16,6 +16,7 @@ #include "klee/Internal/Module/KModule.h" #include "klee/Internal/Module/KInstruction.h" #include "klee/Internal/Support/ModuleUtil.h" +#include "klee/Internal/System/MemoryUsage.h" #include "klee/Internal/System/Time.h" #include "klee/Internal/Support/ErrorHandling.h" #include "klee/SolverStats.h" @@ -404,11 +405,7 @@ void StatsTracker::writeStatsLine() { << "," << numBranches << "," << util::getUserTime() << "," << executor.states.size() -#if LLVM_VERSION_CODE > LLVM_VERSION(3, 2) - << "," << sys::Process::GetMallocUsage() -#else - << "," << sys::Process::GetTotalMemoryUsage() -#endif + << "," << util::GetTotalMallocUsage() << "," << stats::queries << "," << stats::queryConstructs << "," << 0 // was numObjects |