From 454dfc67045fbbc3358b28f855f3af0af31daf47 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 11 Mar 2013 17:11:06 +0000 Subject: Patch by Dan Liew which unifies the solver construction between KLEE and Kleaver and fixes --use-query-log in Kleaver. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176811 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Basic/CmdLineOptions.cpp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/Basic') diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp index 714ae131..bc4c0023 100644 --- a/lib/Basic/CmdLineOptions.cpp +++ b/lib/Basic/CmdLineOptions.cpp @@ -26,6 +26,10 @@ llvm::cl::opt UseIndependentSolver("use-independent-solver", llvm::cl::init(true), llvm::cl::desc("Use constraint independence (default=on)")); + +llvm::cl::opt +DebugValidateSolver("debug-validate-solver", + llvm::cl::init(false)); llvm::cl::opt MinQueryTimeToLog("min-query-time-to-log", -- cgit 1.4.1