diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/klee/main.cpp | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index f55a9614..24b96867 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -21,6 +21,7 @@ #include "klee/Internal/Support/PrintVersion.h" #include "klee/Internal/System/Time.h" #include "klee/Interpreter.h" +#include "klee/OptionCategories.h" #include "klee/Statistics.h" #include "llvm/IR/Constants.h" @@ -255,10 +256,14 @@ namespace { cl::list<std::string> - SeedOutFile("seed-out"); + SeedOutFile("seed-file", + cl::desc(".ktest file to be used as seed"), + cl::cat(SeedingCat)); cl::list<std::string> - SeedOutDir("seed-out-dir"); + SeedOutDir("seed-dir", + cl::desc("Directory with .ktest files to be used as seeds"), + cl::cat(SeedingCat)); cl::opt<unsigned> MakeConcreteSymbolic("make-concrete-symbolic", |