diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-11 15:29:55 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-13 10:25:33 +0000 |
| commit | 1231f8ccab16708e97375ab7e2f6c85dc059f434 (patch) | |
| tree | 1e0a49963168a4b041850e8a94406d69bc7ebaaa /lib/Expr/Expr.cpp | |
| parent | 6da5297c4997b612e6ccd3c9a4fabc79a2c7f3a3 (diff) | |
| download | klee-1231f8ccab16708e97375ab7e2f6c85dc059f434.tar.gz | |
Added --const-array-opt to building&printing expression category
Diffstat (limited to 'lib/Expr/Expr.cpp')
| -rw-r--r-- | lib/Expr/Expr.cpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index e6385136..93b6c213 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -13,6 +13,7 @@ // FIXME: We shouldn't need this once fast constant support moves into // Core. If we need to do arithmetic, we probably want to use APInt. #include "klee/Internal/Support/IntEvaluation.h" +#include "klee/OptionCategories.h" #include "klee/util/ExprPPrinter.h" #include "llvm/ADT/Hashing.h" @@ -31,10 +32,11 @@ llvm::cl::OptionCategory } namespace { - cl::opt<bool> - ConstArrayOpt("const-array-opt", - cl::init(false), - cl::desc("Enable various optimizations involving all-constant arrays.")); +cl::opt<bool> ConstArrayOpt( + "const-array-opt", cl::init(false), + cl::desc( + "Enable an optimization involving all-constant arrays (default=false)"), + cl::cat(klee::ExprCat)); } /***/ |