diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 6b02e6ac..028539fb 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -67,7 +67,10 @@ using namespace klee; namespace { cl::opt<std::string> - InputFile(cl::desc("<input bytecode>"), cl::Positional, cl::init("-")); + InputFile(cl::desc("<input bytecode>"), cl::Positional, cl::Required); + + cl::opt<std::string> + InputProgram(cl::desc("<input program>"), cl::Positional, cl::Required); cl::list<std::string> InputArgv(cl::ConsumeAfter, @@ -1416,8 +1419,8 @@ int main(int argc, char **argv, char **envp) { std::vector<bool> replayPath; if (!ReplayPathFile.empty()) { KleeHandler::loadPathFile(ReplayPathFile, replayPath); - interpreter->setReplayPath(&replayPath); } + interpreter->setProgram(InputProgram); auto startTime = std::time(nullptr); { // output clock info and start time |