Consistently use "default=true" and "default=false" instead of "default=on" and "default=off" in --help

4 files changed, 22 insertions, 22 deletions

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 488ffa34..abb5be7d 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -103,20 +103,20 @@ namespace {
   cl::opt<bool>
   DumpStatesOnHalt("dump-states-on-halt",
                    cl::init(true),
-		   cl::desc("Dump test cases for all active states on exit (default=on)"),
+		   cl::desc("Dump test cases for all active states on exit (default=true)"),
                    cl::cat(TestGenCat));
 
   cl::opt<bool>
   OnlyOutputStatesCoveringNew("only-output-states-covering-new",
                               cl::init(false),
-			      cl::desc("Only output test cases covering new code (default=off)."),
+			      cl::desc("Only output test cases covering new code (default=false)."),
                               cl::cat(TestGenCat));
 
   cl::opt<bool>
   EmitAllErrors("emit-all-errors",
                 cl::init(false),
                 cl::desc("Generate tests cases for all errors "
-                         "(default=off, i.e. one per (error,instruction) pair)"),
+                         "(default=false, i.e. one per (error,instruction) pair)"),
                 cl::cat(TestGenCat));
 
 
@@ -125,12 +125,12 @@ namespace {
   cl::opt<bool>
   SimplifySymIndices("simplify-sym-indices",
                      cl::init(false),
-		     cl::desc("Simplify symbolic accesses using equalities from other constraints (default=off)"));
+		     cl::desc("Simplify symbolic accesses using equalities from other constraints (default=false)"));
 
   cl::opt<bool>
   EqualitySubstitution("equality-substitution",
 		       cl::init(true),
-		       cl::desc("Simplify equality expressions before querying the solver (default=on)."));
+		       cl::desc("Simplify equality expressions before querying the solver (default=true)."));
 
   cl::opt<unsigned>
   MaxSymArraySize("max-sym-array-size",
@@ -169,7 +169,7 @@ namespace {
   AllExternalWarnings("all-external-warnings",
 		      cl::init(false),
 		      cl::desc("Issue a warning everytime an external call is made, "
-			       "as opposed to once per function (default=off)"),
+			       "as opposed to once per function (default=false)"),
                       cl::cat(ExtCallsCat));
 
 
@@ -187,13 +187,13 @@ namespace {
   cl::opt<bool>
   OnlyReplaySeeds("only-replay-seeds",
 		  cl::init(false),
-                  cl::desc("Discard states that do not have a seed (default=off)."),
+                  cl::desc("Discard states that do not have a seed (default=false)."),
                   cl::cat(SeedingCat));
 
   cl::opt<bool>
   OnlySeed("only-seed",
 	   cl::init(false),
-           cl::desc("Stop execution after seeding is done without doing regular search (default=off)."),
+           cl::desc("Stop execution after seeding is done without doing regular search (default=false)."),
            cl::cat(SeedingCat));
  
   cl::opt<bool>
@@ -205,19 +205,19 @@ namespace {
   cl::opt<bool>
   ZeroSeedExtension("zero-seed-extension",
 		    cl::init(false),
-		    cl::desc("Use zero-filled objects if matching seed not found (default=off)"),
+		    cl::desc("Use zero-filled objects if matching seed not found (default=false)"),
                     cl::cat(SeedingCat));
  
   cl::opt<bool>
   AllowSeedTruncation("allow-seed-truncation",
 		      cl::init(false),
-                      cl::desc("Allow smaller buffers than in seeds (default=off)."),
+                      cl::desc("Allow smaller buffers than in seeds (default=false)."),
                       cl::cat(SeedingCat));
  
   cl::opt<bool>
   NamedSeedMatching("named-seed-matching",
 		    cl::init(false),
-                    cl::desc("Use names to match symbolic objects to inputs (default=off)."),
+                    cl::desc("Use names to match symbolic objects to inputs (default=false)."),
                     cl::cat(SeedingCat));
 
   cl::opt<std::string>
@@ -233,7 +233,7 @@ namespace {
 
   cl::list<Executor::TerminateReason>
   ExitOnErrorType("exit-on-error-type",
-		  cl::desc("Stop execution after reaching a specified condition (default=off)"),
+		  cl::desc("Stop execution after reaching a specified condition (default=false)"),
 		  cl::values(
 		    clEnumValN(Executor::Abort, "Abort", "The program crashed"),
 		    clEnumValN(Executor::Assert, "Assert", "An assertion was hit"),
@@ -278,7 +278,7 @@ namespace {
 
   cl::opt<bool>
   MaxMemoryInhibit("max-memory-inhibit",
-                   cl::desc("Inhibit forking at memory cap (vs. random terminate) (default=on)"),
+                   cl::desc("Inhibit forking at memory cap (vs. random terminate) (default=true)"),
                    cl::init(true),
                    cl::cat(TerminationCat));
 
@@ -361,7 +361,7 @@ namespace {
   cl::opt<bool>
   DebugCompressInstructions("debug-compress-instructions",
                             cl::init(false),
-                            cl::desc("Compress the logged instructions in gzip format (default=off)."),
+                            cl::desc("Compress the logged instructions in gzip format (default=false)."),
                             cl::cat(DebugCat));
 #endif
 
diff --git a/lib/Core/MemoryManager.cpp b/lib/Core/MemoryManager.cpp
index b8762c65..f98a8a34 100644
--- a/lib/Core/MemoryManager.cpp
+++ b/lib/Core/MemoryManager.cpp
@@ -29,7 +29,7 @@ llvm::cl::OptionCategory MemoryCat("Memory management options",
 
 llvm::cl::opt<bool> DeterministicAllocation(
     "allocate-determ",
-    llvm::cl::desc("Allocate memory deterministically (default=off)"),
+    llvm::cl::desc("Allocate memory deterministically (default=false)"),
     llvm::cl::init(false), llvm::cl::cat(MemoryCat));
 
 llvm::cl::opt<unsigned> DeterministicAllocationSize(
@@ -40,7 +40,7 @@ llvm::cl::opt<unsigned> DeterministicAllocationSize(
 
 llvm::cl::opt<bool> NullOnZeroMalloc(
     "return-null-on-zero-malloc",
-    llvm::cl::desc("Returns NULL if malloc(0) is called (default=off)"),
+    llvm::cl::desc("Returns NULL if malloc(0) is called (default=false)"),
     llvm::cl::init(false), llvm::cl::cat(MemoryCat));
 
 llvm::cl::opt<unsigned> RedZoneSpace(
diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index 5ad0f174..0300d1ba 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -58,17 +58,17 @@ namespace {
   cl::opt<bool>
   TrackInstructionTime("track-instruction-time",
                        cl::init(false),
-		       cl::desc("Enable tracking of time for individual instructions (default=off)"));
+		       cl::desc("Enable tracking of time for individual instructions (default=false)"));
 
   cl::opt<bool>
   OutputStats("output-stats",
               cl::init(true),
-	      cl::desc("Write running stats trace file (default=on)"));
+	      cl::desc("Write running stats trace file (default=true)"));
 
   cl::opt<bool>
   OutputIStats("output-istats",
 	       cl::init(true),
-               cl::desc("Write instruction level statistics in callgrind format (default=on)"));
+               cl::desc("Write instruction level statistics in callgrind format (default=true)"));
 
   cl::opt<std::string>
   StatsWriteInterval("stats-write-interval",
@@ -99,7 +99,7 @@ namespace {
   cl::opt<bool>
   UseCallPaths("use-call-paths",
 	       cl::init(true),
-               cl::desc("Enable calltree tracking for instruction level statistics (default=on)"));
+               cl::desc("Enable calltree tracking for instruction level statistics (default=true)"));
   
 }
 
diff --git a/lib/Core/UserSearcher.cpp b/lib/Core/UserSearcher.cpp
index 4af732e5..754b3796 100644
--- a/lib/Core/UserSearcher.cpp
+++ b/lib/Core/UserSearcher.cpp
@@ -55,14 +55,14 @@ cl::list<Searcher::CoreSearchType> CoreSearch(
 cl::opt<bool> UseIterativeDeepeningTimeSearch(
     "use-iterative-deepening-time-search",
     cl::desc(
-        "Use iterative deepening time search (experimental) (default=off)"),
+        "Use iterative deepening time search (experimental) (default=false)"),
     cl::init(false), cl::cat(SearchCat));
 
 cl::opt<bool> UseBatchingSearch(
     "use-batching-search",
     cl::desc("Use batching searcher (keep running selected state for N "
              "instructions/time, see --batch-instructions and --batch-time) "
-             "(default=off)"),
+             "(default=false)"),
     cl::init(false), cl::cat(SearchCat));
 
 cl::opt<unsigned>