diff options
| -rw-r--r-- | tools/klee/main.cpp | 3 |
1 files changed, 1 insertions, 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(); |