diff options
| -rw-r--r-- | include/klee/OptionCategories.h | 1 | ||||
| -rw-r--r-- | lib/Core/ExecutionState.cpp | 19 |
2 files changed, 12 insertions, 8 deletions
diff --git a/include/klee/OptionCategories.h b/include/klee/OptionCategories.h index fedf3f17..d0e359fa 100644 --- a/include/klee/OptionCategories.h +++ b/include/klee/OptionCategories.h @@ -18,6 +18,7 @@ namespace klee { extern llvm::cl::OptionCategory SolvingCat; + extern llvm::cl::OptionCategory MergeCat; } #endif diff --git a/lib/Core/ExecutionState.cpp b/lib/Core/ExecutionState.cpp index 9ba163da..70d5d21c 100644 --- a/lib/Core/ExecutionState.cpp +++ b/lib/Core/ExecutionState.cpp @@ -7,33 +7,36 @@ // //===----------------------------------------------------------------------===// +#include "Memory.h" + #include "klee/ExecutionState.h" +#include "klee/Expr.h" #include "klee/Internal/Module/Cell.h" #include "klee/Internal/Module/InstructionInfoTable.h" #include "klee/Internal/Module/KInstruction.h" #include "klee/Internal/Module/KModule.h" +#include "klee/OptionCategories.h" -#include "klee/Expr.h" - -#include "Memory.h" #include "llvm/IR/Function.h" #include "llvm/Support/CommandLine.h" #include "llvm/Support/raw_ostream.h" -#include <iomanip> -#include <sstream> #include <cassert> +#include <iomanip> #include <map> #include <set> +#include <sstream> #include <stdarg.h> using namespace llvm; using namespace klee; -namespace { - cl::opt<bool> - DebugLogStateMerge("debug-log-state-merge"); +namespace { +cl::opt<bool> DebugLogStateMerge( + "debug-log-state-merge", cl::init(false), + cl::desc("Debug information for underlying state merging (default=false)"), + cl::cat(MergeCat)); } /***/ |