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:57:20 +0000
committerMartinNowack <martin.nowack@gmail.com>2019-03-13 22:10:53 +0000
commit7c0d22c61e0aec3b011b7c41d6facc45e7dd05df (patch)
treea55ee46833464d4ac426b22e73b418f5dbaf984e /lib/Expr
parent4cca8a465f1146daaeaafc022ae2c943afc95f45 (diff)
downloadklee-7c0d22c61e0aec3b011b7c41d6facc45e7dd05df.tar.gz
Placed --use-visitor-hash in the expresion building/printing category
Diffstat (limited to 'lib/Expr')
-rw-r--r--lib/Expr/ExprVisitor.cpp11
1 files changed, 6 insertions, 5 deletions
diff --git a/lib/Expr/ExprVisitor.cpp b/lib/Expr/ExprVisitor.cpp
index 3eced3bf..b99cc7e7 100644
--- a/lib/Expr/ExprVisitor.cpp
+++ b/lib/Expr/ExprVisitor.cpp
@@ -7,16 +7,17 @@
 //
 //===----------------------------------------------------------------------===//
 
-#include "klee/Expr.h"
 #include "klee/util/ExprVisitor.h"
 
+#include "klee/Expr.h"
 #include "llvm/Support/CommandLine.h"
 
 namespace {
-  llvm::cl::opt<bool>
-  UseVisitorHash("use-visitor-hash", 
-                 llvm::cl::desc("Use hash-consing during expr visitation."),
-                 llvm::cl::init(true));
+llvm::cl::opt<bool> UseVisitorHash(
+    "use-visitor-hash",
+    llvm::cl::desc(
+        "Use hash-consing during expression visitation (default=true)"),
+    llvm::cl::init(true), llvm::cl::cat(klee::ExprCat));
 }
 
 using namespace klee;