From 5536893ba57604dac1cc2a527e3137336bb96ae6 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Thu, 17 Mar 2022 11:01:12 +0000
Subject: cl flags: document default values, remove dead option:
 --replay-keep-symbolic

---
 lib/Module/KModule.cpp |  2 +-
 tools/klee/main.cpp    | 10 ++--------
 2 files changed, 3 insertions(+), 9 deletions(-)

diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp
index 06b6e2f9..139149e5 100644
--- a/lib/Module/KModule.cpp
+++ b/lib/Module/KModule.cpp
@@ -74,7 +74,7 @@ namespace {
 
   cl::opt<bool>
   OutputModule("output-module",
-               cl::desc("Write the bitcode for the final transformed module"),
+               cl::desc("Write the bitcode for the final transformed module (default=false)"),
                cl::init(false),
 	       cl::cat(ModuleCat));
 
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index c66b707d..dd839de6 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -225,12 +225,6 @@ namespace {
   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."),
-                     cl::cat(ReplayCat));
-
   cl::list<std::string>
   ReplayKTestFile("replay-ktest-file",
                   cl::desc("Specify a ktest file to use for replay"),
@@ -277,8 +271,8 @@ namespace {
 
   cl::opt<bool>
   Watchdog("watchdog",
-           cl::desc("Use a watchdog process to enforce --max-time."),
-           cl::init(0),
+           cl::desc("Use a watchdog process to enforce --max-time (default=false)"),
+           cl::init(false),
            cl::cat(TerminationCat));
 
   cl::opt<bool>
-- 
cgit 1.4.1