From d44d507631c345edf33ee7f6ecf7fd942af7760b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 15 Mar 2019 20:04:50 +0000
Subject: Hiding general (LLVM) options in klee --help !

---
 tools/klee/main.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 787df1ec..9219134c 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -22,6 +22,7 @@
 #include "klee/Internal/System/Time.h"
 #include "klee/Interpreter.h"
 #include "klee/OptionCategories.h"
+#include "klee/SolverCmdLine.h"
 #include "klee/Statistics.h"
 
 #include "llvm/IR/Constants.h"
@@ -1139,6 +1140,8 @@ linkWithUclibc(StringRef libDir,
 int main(int argc, char **argv, char **envp) {
   atexit(llvm_shutdown);  // Call llvm_shutdown() on exit.
 
+  KCommandLine::HideOptions(llvm::cl::GeneralCategory);
+
   llvm::InitializeNativeTarget();
 
   parseArguments(argc, argv);
-- 
cgit 1.4.1