From f0d08a82f2dc451f456567e557d24fe0d39aa92c Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 2 Aug 2009 23:09:50 +0000 Subject: Don't abort on --exit-on-error failures, this is just confusing. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77923 91177308-0d34-0410-b5e6-96231b3b80d8 --- tools/klee/main.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools') diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index a92aca8c..f3222336 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -377,8 +377,8 @@ void KleeHandler::processTestCase(const ExecutionState &state, const char *errorMessage, const char *errorSuffix) { if (errorMessage && ExitOnError) { - llvm::cerr << "EXITING ON ERROR: " << errorMessage << "\n"; - abort(); + llvm::cerr << "EXITING ON ERROR:\n" << errorMessage << "\n"; + exit(1); } if (!NoOutput) { -- cgit 1.4.1