From 9b2fef168fd76208de25f1f3dc05629328b5d655 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 20 Jun 2012 18:33:52 +0000 Subject: Fixed a minor issue related to an error path in --posix-runtime mode. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158835 91177308-0d34-0410-b5e6-96231b3b80d8 --- tools/klee/main.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 2046be05..9b6dabb7 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -610,8 +610,7 @@ static int initEnv(Module *mainModule) { Function *mainFn = mainModule->getFunction("main"); if (mainFn->arg_size() < 2) { - std::cerr << "Cannot handle ""-init-env"" when main() has less than two arguments.\n"; - return -1; + klee_error("Cannot handle ""--posix-runtime"" when main() has less than two arguments.\n"); } Instruction* firstInst = mainFn->begin()->begin(); -- cgit 1.4.1