about summary refs log tree commit diff homepage
path: root/include
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2017-09-22 23:00:16 +0100
committerGitHub <noreply@github.com>2017-09-22 23:00:16 +0100
commitc7a1f9df86b84daf111b67429acb5f3277b7462d (patch)
tree9824fd78e725856b5dc5b2b5af57595f2122073d /include
parent2108b0e8566bb1d6e8629b7b6806c07010a8269f (diff)
parent59cd0e115a14a3a6ffcbb839d99e753aeaffdfa3 (diff)
downloadklee-c7a1f9df86b84daf111b67429acb5f3277b7462d.tar.gz
Merge pull request #748 from ccadar/options
Added support for hiding command-line options
Diffstat (limited to 'include')
-rw-r--r--include/klee/CommandLine.h14
1 files changed, 12 insertions, 2 deletions
diff --git a/include/klee/CommandLine.h b/include/klee/CommandLine.h
index 64930bb2..79f9286b 100644
--- a/include/klee/CommandLine.h
+++ b/include/klee/CommandLine.h
@@ -6,9 +6,11 @@
 #ifndef KLEE_COMMANDLINE_H
 #define KLEE_COMMANDLINE_H
 
-#include "llvm/Support/CommandLine.h"
 #include "klee/Config/config.h"
 
+#include "llvm/ADT/ArrayRef.h"
+#include "llvm/Support/CommandLine.h"
+
 namespace klee {
 
 extern llvm::cl::opt<bool> UseFastCexSolver;
@@ -66,7 +68,15 @@ extern llvm::cl::opt<klee::MetaSMTBackendType> MetaSMTBackend;
 
 #endif /* ENABLE_METASMT */
 
+class KCommandLine {
+public:
+  /// Hide all options except the ones in the specified category
+  static void HideUnrelatedOptions(llvm::cl::OptionCategory &Category);
+
+  /// Hide all options except the ones in the specified categories
+  static void HideUnrelatedOptions(
+      llvm::ArrayRef<const llvm::cl::OptionCategory *> Categories);
+};
 }
 
 #endif	/* KLEE_COMMANDLINE_H */
-