diff options
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( |