diff options
Diffstat (limited to 'tools/klee/main.cpp')
-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 3c6c81ca..61455ef6 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -66,7 +66,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, @@ -1418,8 +1421,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 |