From fa2acfc0eb4fcd4df47a5346f300fc5919f7a601 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 18 Dec 2018 14:25:42 +0000 Subject: Added debugging category --- lib/Core/Executor.cpp | 22 ++++++++++++++++------ 1 file changed, 16 insertions(+), 6 deletions(-) diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 2a2e4a11..ef996e7e 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -321,6 +321,9 @@ namespace { /*** Debugging options ***/ + cl::OptionCategory DebugCat("Debugging options", + "These are debugging options."); + /// The different query logging solvers that can switched on/off enum PrintDebugInstructionsType { STDERR_ALL, /// @@ -352,16 +355,23 @@ namespace { "Log all instructions to file instructions.txt in format " "[inst_id]") KLEE_LLVM_CL_VAL_END), - llvm::cl::CommaSeparated); + llvm::cl::CommaSeparated, + cl::cat(DebugCat)); + #ifdef HAVE_ZLIB_H - cl::opt DebugCompressInstructions( - "debug-compress-instructions", cl::init(false), - cl::desc("Compress the logged instructions in gzip format.")); + cl::opt + DebugCompressInstructions("debug-compress-instructions", + cl::init(false), + cl::desc("Compress the logged instructions in gzip format (default=off)."), + cl::cat(DebugCat)); #endif cl::opt - DebugCheckForImpliedValues("debug-check-for-implied-values"); - + DebugCheckForImpliedValues("debug-check-for-implied-values", + cl::init(false), + cl::desc("Debug the implied value optimization"), + cl::cat(DebugCat)); + } -- cgit 1.4.1