From bbed13271ae0efced319981ee12fc33540069adb Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Wed, 22 Mar 2017 13:29:33 +0000
Subject: Replace `llvm:errs()` with `klee_error()` as suggested by
 @andreamattavelli

---
 tools/klee/main.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 337d23a4..1ac33617 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -421,9 +421,8 @@ void KleeHandler::processTestCase(const ExecutionState &state,
                                   const char *errorMessage,
                                   const char *errorSuffix) {
   if (errorMessage && ExitOnError) {
-    llvm::errs() << "EXITING ON ERROR:\n" << errorMessage << "\n";
     m_interpreter->prepareForEarlyExit();
-    exit(1);
+    klee_error("EXITING ON ERROR:\n%s\n", errorMessage);
   }
 
   if (!NoOutput) {
-- 
cgit 1.4.1