diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-11 13:13:58 +0000 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-13 10:25:33 +0000 |
commit | 92fd446f72136594e6519065fbd5bca3e0aee8e3 (patch) | |
tree | c324641a9054253cd22da88094680f6d1d305621 /lib/Expr | |
parent | 8cfce20c9c53b6ec4ff2d54c9fa2b494ee699ebc (diff) | |
download | klee-92fd446f72136594e6519065fbd5bca3e0aee8e3.tar.gz |
Consistently use "default=true" and "default=false" instead of "default=on" and "default=off" in --help
Diffstat (limited to 'lib/Expr')
-rw-r--r-- | lib/Expr/ArrayExprOptimizer.cpp | 2 | ||||
-rw-r--r-- | lib/Expr/Constraints.cpp | 2 | ||||
-rw-r--r-- | lib/Expr/ExprSMTLIBPrinter.cpp | 2 |
3 files changed, 3 insertions, 3 deletions
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<ArrayOptimizationType> 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<double> 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<bool> 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<bool> 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<klee::ExprSMTLIBPrinter::AbbreviationMode> abbreviationMode( |