about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2016-06-23 12:17:49 +0100
committerGitHub <noreply@github.com>2016-06-23 12:17:49 +0100
commit96c244cda990edeb435a750fdef050b95c38ac7d (patch)
treea0f622aedf8902b18d5fc853482f0af8f3f65bea /lib
parent83e797ab33aef2749e0f6ffb9b63877085ca4e7c (diff)
parent26705bcd644f62419d03e5ba325235912629efba (diff)
downloadklee-96c244cda990edeb435a750fdef050b95c38ac7d.tar.gz
Merge pull request #415 from andreamattavelli/termination_info
Use klee_message for timeout information
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/Executor.cpp2
-rw-r--r--lib/Core/ExecutorTimers.cpp2
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index ff346487..49b022f8 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -2652,7 +2652,7 @@ void Executor::run(ExecutionState &initialState) {
   
  dump:
   if (DumpStatesOnHalt && !states.empty()) {
-    llvm::errs() << "KLEE: halting execution, dumping remaining states\n";
+    klee_message("halting execution, dumping remaining states");
     for (std::set<ExecutionState*>::iterator
            it = states.begin(), ie = states.end();
          it != ie; ++it) {
diff --git a/lib/Core/ExecutorTimers.cpp b/lib/Core/ExecutorTimers.cpp
index b8ea97c2..480f1cde 100644
--- a/lib/Core/ExecutorTimers.cpp
+++ b/lib/Core/ExecutorTimers.cpp
@@ -52,7 +52,7 @@ public:
   ~HaltTimer() {}
 
   void run() {
-    llvm::errs() << "KLEE: HaltTimer invoked\n";
+    klee_message("HaltTimer invoked");
     executor->setHaltExecution(true);
   }
 };