From 92fd446f72136594e6519065fbd5bca3e0aee8e3 Mon Sep 17 00:00:00 2001 From: Cristian Cadar 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/Expr/ArrayExprOptimizer.cpp | 2 +- lib/Expr/Constraints.cpp | 2 +- lib/Expr/ExprSMTLIBPrinter.cpp | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/Expr') diff --git a/lib/Expr/ArrayExprOptimizer.cpp b/lib/Expr/ArrayExprOptimizer.cpp index d043783a..43b289e2 100644 --- a/lib/Expr/ArrayExprOptimizer.cpp +++ b/lib/Expr/ArrayExprOptimizer.cpp @@ -42,7 +42,7 @@ llvm::cl::opt OptimizeArray( KLEE_LLVM_CL_VAL_END), llvm::cl::init(NONE), llvm::cl::desc("Optimize accesses to either concrete or concrete/symbolic " - "arrays. (default=off)"), + "arrays. (default=false)"), llvm::cl::cat(klee::SolvingCat)); llvm::cl::opt ArrayValueRatio( diff --git a/lib/Expr/Constraints.cpp b/lib/Expr/Constraints.cpp index 1b3ad983..8bf6bc58 100644 --- a/lib/Expr/Constraints.cpp +++ b/lib/Expr/Constraints.cpp @@ -24,7 +24,7 @@ namespace { llvm::cl::opt RewriteEqualities("rewrite-equalities", llvm::cl::init(true), - llvm::cl::desc("Rewrite existing constraints when an equality with a constant is added (default=on)")); + llvm::cl::desc("Rewrite existing constraints when an equality with a constant is added (default=true)")); } diff --git a/lib/Expr/ExprSMTLIBPrinter.cpp b/lib/Expr/ExprSMTLIBPrinter.cpp index fd515509..8e0810ad 100644 --- a/lib/Expr/ExprSMTLIBPrinter.cpp +++ b/lib/Expr/ExprSMTLIBPrinter.cpp @@ -32,7 +32,7 @@ argConstantDisplayMode( llvm::cl::opt humanReadableSMTLIB( "smtlib-human-readable", llvm::cl::desc( - "Enables generated SMT-LIBv2 files to be human readable (default=off)"), + "Enables generated SMT-LIBv2 files to be human readable (default=false)"), llvm::cl::init(false)); llvm::cl::opt abbreviationMode( -- cgit 1.4.1