diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-24 13:58:03 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-24 13:58:03 +0200 |
| commit | 016120fd8a8a2cac8457b66b6d2a41e0b5093889 (patch) | |
| tree | ef75ff1c67049e36d01bd5c798415ccef5257e5e /lib/Core/Executor.cpp | |
| parent | e2799703b08cc1feb8a324bfb04edfeb2c296e57 (diff) | |
| download | klee-016120fd8a8a2cac8457b66b6d2a41e0b5093889.tar.gz | |
Renamed GetTotalMemoryUsage to GetTotalMallocUsage
Diffstat (limited to 'lib/Core/Executor.cpp')
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index c0baa88c..abb023eb 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -2585,7 +2585,7 @@ void Executor::run(ExecutionState &initialState) { // We need to avoid calling GetMallocUsage() often because it // is O(elts on freelist). This is really bad since we start // to pummel the freelist once we hit the memory cap. - unsigned mbs = util::GetTotalMemoryUsage() >> 20; + unsigned mbs = util::GetTotalMallocUsage() >> 20; if (mbs > MaxMemory) { if (mbs > MaxMemory + 100) { // just guess at how many to kill |