diff options
| -rw-r--r-- | tools/klee/main.cpp | 10 |
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 |