diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-23 22:34:12 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-07-21 10:00:02 +0100 |
| commit | 7082eafd05b4f268132ab94772c0243dbebf5087 (patch) | |
| tree | 549f66608f0cb4e50cee2e51c53206e798ab82cd /include | |
| parent | 974f140d79a621785b1fe4a0fc7fe321ba1089e2 (diff) | |
| download | klee-7082eafd05b4f268132ab94772c0243dbebf5087.tar.gz | |
Add code to only keep in the --help menu the KLEE/Kleaver option categories
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Solver/SolverCmdLine.h | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/include/klee/Solver/SolverCmdLine.h b/include/klee/Solver/SolverCmdLine.h index 90c162ee..4414dc7a 100644 --- a/include/klee/Solver/SolverCmdLine.h +++ b/include/klee/Solver/SolverCmdLine.h @@ -24,6 +24,8 @@ DISABLE_WARNING_DEPRECATED_DECLARATIONS #include "llvm/Support/CommandLine.h" DISABLE_WARNING_POP +#include <set> + namespace klee { extern llvm::cl::opt<bool> UseFastCexSolver; @@ -86,12 +88,12 @@ extern llvm::cl::opt<klee::MetaSMTBackendType> MetaSMTBackend; class KCommandLine { public: - /// Hide all options in the specified category - static void HideOptions(llvm::cl::OptionCategory &Category); - - /// Hide all options except the ones in the specified category - static void HideUnrelatedOptions(llvm::cl::OptionCategory &Category); + /// Keep only the options in the provided categories, + /// together with --help, --help-list, --version and --color + static void + KeepOnlyCategories(std::set<llvm::cl::OptionCategory *> const &categories); }; + } // namespace klee #endif /* KLEE_SOLVERCMDLINE_H */ |