diff options
| -rw-r--r-- | tools/klee/main.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index a92aa559..23c07f03 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -575,6 +575,11 @@ void KleeHandler::getOutFiles(std::string path, } std::string KleeHandler::getRunTimeLibraryPath(const char *argv0) { + // allow specifying the path to the runtime library + const char *env = getenv("KLEE_RUNTIME_LIBRARY_PATH"); + if (env) + return std::string(env); + // Take any function from the execution binary but not main (as not allowed by // C++ standard) void *MainExecAddr = (void *)(intptr_t)getRunTimeLibraryPath; |