From 955877705da82a6d0a5bc2cc5c1e55fe8c92c040 Mon Sep 17 00:00:00 2001
From: Zekun Shen <bruceshenzk@gmail.com>
Date: Fri, 27 Apr 2018 18:34:21 +0000
Subject: exitOnError no output buf fix

---
 tools/klee/main.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 2b2fe3eb..ec951609 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -393,11 +393,6 @@ llvm::raw_fd_ostream *KleeHandler::openTestFile(const std::string &suffix,
 void KleeHandler::processTestCase(const ExecutionState &state,
                                   const char *errorMessage,
                                   const char *errorSuffix) {
-  if (errorMessage && OptExitOnError) {
-    m_interpreter->prepareForEarlyExit();
-    klee_error("EXITING ON ERROR:\n%s\n", errorMessage);
-  }
-
   if (!NoOutput) {
     std::vector< std::pair<std::string, std::vector<unsigned char> > > out;
     bool success = m_interpreter->getSymbolicSolution(state, out);
@@ -520,6 +515,11 @@ void KleeHandler::processTestCase(const ExecutionState &state,
       delete f;
     }
   }
+  
+  if (errorMessage && OptExitOnError) {
+    m_interpreter->prepareForEarlyExit();
+    klee_error("EXITING ON ERROR:\n%s\n", errorMessage);
+  }
 }
 
   // load a .path file
-- 
cgit 1.4.1