diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-06-23 10:49:42 +0100 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@gmail.com> | 2016-06-23 10:49:42 +0100 |
| commit | 26705bcd644f62419d03e5ba325235912629efba (patch) | |
| tree | 23a82ce2cc9af478bfd8b96ca07ae8c343711545 /lib/Core/ExecutorTimers.cpp | |
| parent | 96ed13583a464538cab900c851bcc7338150772a (diff) | |
| download | klee-26705bcd644f62419d03e5ba325235912629efba.tar.gz | |
Use klee_message for timeout information
Diffstat (limited to 'lib/Core/ExecutorTimers.cpp')
| -rw-r--r-- | lib/Core/ExecutorTimers.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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); } }; |