From dab7861681e7ca4590a6095f2284ee4c374dbd15 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 11 Mar 2019 10:28:29 +0000
Subject: Created a path merging option category and improved help message for
 path merging options

---
 lib/Core/MergeHandler.cpp | 45 ++++++++++++++++++++++++++-------------------
 1 file changed, 26 insertions(+), 19 deletions(-)

(limited to 'lib')

diff --git a/lib/Core/MergeHandler.cpp b/lib/Core/MergeHandler.cpp
index d3a6b59d..f14ea013 100644
--- a/lib/Core/MergeHandler.cpp
+++ b/lib/Core/MergeHandler.cpp
@@ -14,25 +14,32 @@
 #include "klee/ExecutionState.h"
 
 namespace klee {
-llvm::cl::opt<bool>
-    UseMerge("use-merge",
-        llvm::cl::init(false),
-        llvm::cl::desc("Enable support for klee_open_merge() and klee_close_merge() (experimental)"));
-
-llvm::cl::opt<bool>
-    DebugLogMerge("debug-log-merge",
-        llvm::cl::init(false),
-        llvm::cl::desc("Enhanced verbosity for region based merge operations"));
-
-llvm::cl::opt<bool>
-    UseIncompleteMerge("use-incomplete-merge",
-        llvm::cl::init(false),
-        llvm::cl::desc("Heuristic based merging"));
-
-llvm::cl::opt<bool>
-    DebugLogIncompleteMerge("debug-log-incomplete-merge",
-        llvm::cl::init(false),
-        llvm::cl::desc("Debug info about incomplete merging"));
+
+/*** Test generation options ***/
+
+llvm::cl::OptionCategory MergeCat("Path merging options",
+                                  "These options control path merging.");
+
+llvm::cl::opt<bool> UseMerge(
+    "use-merge", llvm::cl::init(false),
+    llvm::cl::desc("Enable support for path merging via klee_open_merge() and "
+                   "klee_close_merge() (default=off)"),
+    llvm::cl::cat(klee::MergeCat));
+
+llvm::cl::opt<bool> DebugLogMerge(
+    "debug-log-merge", llvm::cl::init(false),
+    llvm::cl::desc("Debug information for path merging (default=off)"),
+    llvm::cl::cat(klee::MergeCat));
+
+llvm::cl::opt<bool> UseIncompleteMerge(
+    "use-incomplete-merge", llvm::cl::init(false),
+    llvm::cl::desc("Heuristic-based path merging (default=off)"),
+    llvm::cl::cat(klee::MergeCat));
+
+llvm::cl::opt<bool> DebugLogIncompleteMerge(
+    "debug-log-incomplete-merge", llvm::cl::init(false),
+    llvm::cl::desc("Debug information for incomplete path merging (default=off)"),
+    llvm::cl::cat(klee::MergeCat));
 
 double MergeHandler::getMean() {
   if (closedStateCount == 0)
-- 
cgit 1.4.1