diff options
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 */ |