diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-11 11:35:01 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-13 10:25:33 +0000 |
| commit | 8cfce20c9c53b6ec4ff2d54c9fa2b494ee699ebc (patch) | |
| tree | 1bab1a9378abc0506022ccc0e6aa30ce4f5d40ab | |
| parent | 3e68ad488f0ca59d2ec19a1c4332e59cc2efbb7c (diff) | |
| download | klee-8cfce20c9c53b6ec4ff2d54c9fa2b494ee699ebc.tar.gz | |
Added options in QueryLoggingSolver.cpp to the constraint solving category
| -rw-r--r-- | lib/Solver/QueryLoggingSolver.cpp | 12 |
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, |