about summary refs log tree commit diff homepage
path: root/lib/Expr
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2019-03-11 15:29:55 +0000
committerMartinNowack <martin.nowack@gmail.com>2019-03-13 10:25:33 +0000
commit1231f8ccab16708e97375ab7e2f6c85dc059f434 (patch)
tree1e0a49963168a4b041850e8a94406d69bc7ebaaa /lib/Expr
parent6da5297c4997b612e6ccd3c9a4fabc79a2c7f3a3 (diff)
downloadklee-1231f8ccab16708e97375ab7e2f6c85dc059f434.tar.gz
Added --const-array-opt to building&printing expression category
Diffstat (limited to 'lib/Expr')
-rw-r--r--lib/Expr/Expr.cpp10
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));
 }
 
 /***/