From 7c0d22c61e0aec3b011b7c41d6facc45e7dd05df Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 11 Mar 2019 15:57:20 +0000 Subject: Placed --use-visitor-hash in the expresion building/printing category --- lib/Expr/ExprVisitor.cpp | 11 ++++++----- 1 file 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 - UseVisitorHash("use-visitor-hash", - llvm::cl::desc("Use hash-consing during expr visitation."), - llvm::cl::init(true)); +llvm::cl::opt 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; -- cgit 1.4.1