diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-09-22 23:00:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-22 23:00:16 +0100 |
commit | c7a1f9df86b84daf111b67429acb5f3277b7462d (patch) | |
tree | 9824fd78e725856b5dc5b2b5af57595f2122073d /include | |
parent | 2108b0e8566bb1d6e8629b7b6806c07010a8269f (diff) | |
parent | 59cd0e115a14a3a6ffcbb839d99e753aeaffdfa3 (diff) | |
download | klee-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.h | 14 |
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 */ - |