From 92fd446f72136594e6519065fbd5bca3e0aee8e3 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 11 Mar 2019 13:13:58 +0000
Subject: Consistently use "default=true" and "default=false" instead of
 "default=on" and "default=off" in --help

---
 lib/Solver/CexCachingSolver.cpp   | 6 +++---
 lib/Solver/QueryLoggingSolver.cpp | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'lib/Solver')

diff --git a/lib/Solver/CexCachingSolver.cpp b/lib/Solver/CexCachingSolver.cpp
index 8bf41ee6..d2e080d9 100644
--- a/lib/Solver/CexCachingSolver.cpp
+++ b/lib/Solver/CexCachingSolver.cpp
@@ -30,13 +30,13 @@ namespace {
 cl::opt<bool> DebugCexCacheCheckBinding(
     "debug-cex-cache-check-binding", cl::init(false),
     cl::desc("Debug the correctness of the counterexample "
-             "cache assignments (default=off)"),
+             "cache assignments (default=false)"),
     cl::cat(SolvingCat));
 
 cl::opt<bool>
     CexCacheTryAll("cex-cache-try-all", cl::init(false),
                    cl::desc("Try substituting all counterexamples before "
-                            "asking the SMT solver (default=off)"),
+                            "asking the SMT solver (default=false)"),
                    cl::cat(SolvingCat));
 
 cl::opt<bool>
@@ -47,7 +47,7 @@ cl::opt<bool>
 
 cl::opt<bool> CexCacheExperimental(
     "cex-cache-exp", cl::init(false),
-    cl::desc("Optimization for validity queries (default=off)"),
+    cl::desc("Optimization for validity queries (default=false)"),
     cl::cat(SolvingCat));
 
 } // namespace
diff --git a/lib/Solver/QueryLoggingSolver.cpp b/lib/Solver/QueryLoggingSolver.cpp
index 4e06d1b2..19716e84 100644
--- a/lib/Solver/QueryLoggingSolver.cpp
+++ b/lib/Solver/QueryLoggingSolver.cpp
@@ -18,13 +18,13 @@
 namespace {
 llvm::cl::opt<bool> DumpPartialQueryiesEarly(
     "log-partial-queries-early", llvm::cl::init(false),
-    llvm::cl::desc("Log queries before calling the solver (default=off)"),
+    llvm::cl::desc("Log queries before calling the solver (default=false)"),
     llvm::cl::cat(klee::SolvingCat));
 
 #ifdef HAVE_ZLIB_H
 llvm::cl::opt<bool> CreateCompressedQueryLog(
     "compress-query-log", llvm::cl::init(false),
-    llvm::cl::desc("Compress query log files (default=off)"),
+    llvm::cl::desc("Compress query log files (default=false)"),
     llvm::cl::cat(klee::SolvingCat));
 #endif
 } // namespace
-- 
cgit 1.4.1