diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-03-17 11:01:12 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-05-05 09:07:53 -0700 |
| commit | 5536893ba57604dac1cc2a527e3137336bb96ae6 (patch) | |
| tree | 1a3dc937035283c5245ff528c6716c0a19d847fe | |
| parent | b4d84e54d2a72a3d3d7218b4c9ab25c9be17a8a8 (diff) | |
| download | klee-5536893ba57604dac1cc2a527e3137336bb96ae6.tar.gz | |
cl flags: document default values, remove dead option: --replay-keep-symbolic
| -rw-r--r-- | lib/Module/KModule.cpp | 2 | ||||
| -rw-r--r-- | 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> |