From 49c107d85575173c19a12b081feb5fca2320c92f Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 18 Dec 2018 15:22:12 +0000
Subject: Added a replaying option category

---
 tools/klee/main.cpp | 30 ++++++++++++++++++++----------
 1 file changed, 20 insertions(+), 10 deletions(-)

(limited to 'tools')

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");
-- 
cgit 1.4.1