Added options in QueryLoggingSolver.cpp to the constraint solving category

1 files changed, 8 insertions, 4 deletions

diff --git a/lib/Solver/QueryLoggingSolver.cpp b/lib/Solver/QueryLoggingSolver.cpp
index 9001b5c1..4e06d1b2 100644
--- a/lib/Solver/QueryLoggingSolver.cpp
+++ b/lib/Solver/QueryLoggingSolver.cpp
@@ -7,23 +7,27 @@
 //
 //===----------------------------------------------------------------------===//
 #include "QueryLoggingSolver.h"
-#include "klee/Statistics.h"
+
 #include "klee/Config/config.h"
 #include "klee/Internal/Support/ErrorHandling.h"
 #include "klee/Internal/Support/FileHandling.h"
 #include "klee/Internal/System/Time.h"
+#include "klee/OptionCategories.h"
+#include "klee/Statistics.h"
 
 namespace {
 llvm::cl::opt<bool> DumpPartialQueryiesEarly(
     "log-partial-queries-early", llvm::cl::init(false),
-    llvm::cl::desc("Log queries before calling the solver (default=off)"));
+    llvm::cl::desc("Log queries before calling the solver (default=off)"),
+    llvm::cl::cat(klee::SolvingCat));
 
 #ifdef HAVE_ZLIB_H
 llvm::cl::opt<bool> CreateCompressedQueryLog(
     "compress-query-log", llvm::cl::init(false),
-    llvm::cl::desc("Compress query log files (default=off)"));
+    llvm::cl::desc("Compress query log files (default=off)"),
+    llvm::cl::cat(klee::SolvingCat));
 #endif
-}
+} // namespace
 
 QueryLoggingSolver::QueryLoggingSolver(Solver *_solver, std::string path,
                                        const std::string &commentSign,