diff options
| -rw-r--r-- | tools/klee/main.cpp | 30 |
1 files changed, 20 insertions, 10 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index a5130429..7eb0fbf7 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -77,7 +77,6 @@ namespace { cl::desc("<program arguments>...")); - /*** Test case options ***/ cl::OptionCategory TestCaseCat("Test case options", @@ -119,7 +118,6 @@ namespace { cl::cat(TestCaseCat)); - /*** Starting options ***/ cl::OptionCategory StartCat("Starting options", @@ -221,25 +219,37 @@ namespace { OptExitOnError("exit-on-error", cl::desc("Exit if errors occur")); + + /*** Replaying options ***/ + + cl::OptionCategory ReplayCat("Replaying options", + "These options impact replaying of test cases."); + cl::opt<bool> ReplayKeepSymbolic("replay-keep-symbolic", cl::desc("Replay the test cases only by asserting " - "the bytes, not necessarily making them concrete.")); + "the bytes, not necessarily making them concrete."), + cl::cat(ReplayCat)); cl::list<std::string> - ReplayKTestFile("replay-ktest-file", - cl::desc("Specify a ktest file to use for replay"), - cl::value_desc("ktest file")); + ReplayKTestFile("replay-ktest-file", + cl::desc("Specify a ktest file to use for replay"), + cl::value_desc("ktest file"), + cl::cat(ReplayCat)); cl::list<std::string> - ReplayKTestDir("replay-ktest-dir", - cl::desc("Specify a directory to replay ktest files from"), - cl::value_desc("output directory")); + ReplayKTestDir("replay-ktest-dir", + cl::desc("Specify a directory to replay ktest files from"), + cl::value_desc("output directory"), + cl::cat(ReplayCat)); cl::opt<std::string> ReplayPathFile("replay-path", cl::desc("Specify a path file to replay"), - cl::value_desc("path file")); + cl::value_desc("path file"), + cl::cat(ReplayCat)); + + cl::list<std::string> SeedOutFile("seed-out"); |