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

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

(limited to 'tools')

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