about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorJörg Thalheim <joerg@thalheim.io>2017-05-23 18:15:59 +0100
committerJörg Thalheim <joerg@thalheim.io>2017-05-24 09:29:33 +0100
commit15858a67921ab4498f37b3b9290ecef9f97180e8 (patch)
tree17b3e480d7351d2337d0a048729ed6888869c5ff /lib
parent92367dec2ee00cb708454e4c33ff34d80eddb878 (diff)
downloadklee-15858a67921ab4498f37b3b9290ecef9f97180e8.tar.gz
Remove redundant KLEE prefix while logging
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/Searcher.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/Searcher.cpp b/lib/Core/Searcher.cpp
index c787382f..d15226b3 100644
--- a/lib/Core/Searcher.cpp
+++ b/lib/Core/Searcher.cpp
@@ -539,7 +539,7 @@ ExecutionState &BatchingSearcher::selectState() {
     if (lastState) {
       double delta = util::getWallTime()-lastStartTime;
       if (delta>timeBudget*1.1) {
-        klee_message("KLEE: increased time budget from %f to %f\n", timeBudget,
+        klee_message("increased time budget from %f to %f\n", timeBudget,
                      delta);
         timeBudget = delta;
       }
@@ -613,7 +613,7 @@ void IterativeDeepeningTimeSearcher::update(
 
   if (baseSearcher->empty()) {
     time *= 2;
-    klee_message("KLEE: increased time budget to %f\n", time);
+    klee_message("increased time budget to %f\n", time);
     std::vector<ExecutionState *> ps(pausedStates.begin(), pausedStates.end());
     baseSearcher->update(0, ps, std::vector<ExecutionState *>());
     pausedStates.clear();