From 88e1e0f90eda8c562f5dcf5eaafc45cf2de3522f Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Thu, 6 Sep 2018 11:29:25 +0100 Subject: Unify the error message if that function has not been found. --- 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 0b22f5c1..77b1fe7c 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -639,7 +639,7 @@ preparePOSIX(std::vector> &loadedModules, } if (!mainFn) - klee_error("'%s' function not found in module.", EntryPoint.c_str()); + klee_error("Entry function '%s' not found in module.", EntryPoint.c_str()); mainFn->setName("__klee_posix_wrapped_main"); // Add a definition of the entry function if needed. This is the case if we @@ -1278,7 +1278,7 @@ int main(int argc, char **argv, char **envp) { auto finalModule = interpreter->setModule(loadedModules, Opts); Function *mainFn = finalModule->getFunction(EntryPoint); if (!mainFn) { - klee_error("'%s' function not found in module.", EntryPoint.c_str()); + klee_error("Entry function '%s' not found in module.", EntryPoint.c_str()); } externalsAndGlobalsCheck(finalModule); -- cgit 1.4.1