about summary refs log tree commit diff homepage
path: root/lib/Solver
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2019-03-11 10:18:46 +0000
committerMartinNowack <martin.nowack@gmail.com>2019-03-11 15:20:07 +0000
commit9e24ab3100533900ec4ff86582c8339337c74c8c (patch)
treeb6a891bb15da2128a28ac21bc5aa2991fff4ebf9 /lib/Solver
parent385239b89c37bba894b2fb3d7b53792cd3960bcc (diff)
downloadklee-9e24ab3100533900ec4ff86582c8339337c74c8c.tar.gz
Added options in STPSolver.cpp to the constraint solving category
Diffstat (limited to 'lib/Solver')
-rw-r--r--lib/Solver/STPSolver.cpp7
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/Solver/STPSolver.cpp b/lib/Solver/STPSolver.cpp
index 6081ff95..abd0ebc3 100644
--- a/lib/Solver/STPSolver.cpp
+++ b/lib/Solver/STPSolver.cpp
@@ -14,6 +14,7 @@
 #include "klee/SolverImpl.h"
 #include "klee/Constraints.h"
 #include "klee/Internal/Support/ErrorHandling.h"
+#include "klee/OptionCategories.h"
 #include "klee/util/Assignment.h"
 #include "klee/util/ExprUtil.h"
 
@@ -32,11 +33,13 @@ namespace {
 
 llvm::cl::opt<bool> DebugDumpSTPQueries(
     "debug-dump-stp-queries", llvm::cl::init(false),
-    llvm::cl::desc("Dump every STP query to stderr (default=off)"));
+    llvm::cl::desc("Dump every STP query to stderr (default=off)"),
+    llvm::cl::cat(klee::SolvingCat));
 
 llvm::cl::opt<bool> IgnoreSolverFailures(
     "ignore-solver-failures", llvm::cl::init(false),
-    llvm::cl::desc("Ignore any solver failures (default=off)"));
+    llvm::cl::desc("Ignore any STP solver failures (default=off)"),
+    llvm::cl::cat(klee::SolvingCat));
 }
 
 #define vc_bvBoolExtract IAMTHESPAWNOFSATAN