From 4d082d995e5404de0058f6db2b008a3f830c627d Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin.nowack@gmail.com>
Date: Sun, 21 Feb 2016 10:15:08 +0000
Subject: Use klee-provided GetMallocUsage for consistency
---
lib/Core/StatsTracker.cpp | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
(limited to 'lib/Core/StatsTracker.cpp')
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
--
cgit 1.4.1