exitOnError no output buf fix

1 files changed, 5 insertions, 5 deletions

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