diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-06-23 12:17:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-23 12:17:49 +0100 |
commit | 96c244cda990edeb435a750fdef050b95c38ac7d (patch) | |
tree | a0f622aedf8902b18d5fc853482f0af8f3f65bea /lib | |
parent | 83e797ab33aef2749e0f6ffb9b63877085ca4e7c (diff) | |
parent | 26705bcd644f62419d03e5ba325235912629efba (diff) | |
download | klee-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.cpp | 2 | ||||
-rw-r--r-- | lib/Core/ExecutorTimers.cpp | 2 |
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); } }; |