diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-15 20:04:50 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-15 22:53:39 +0000 |
| commit | d44d507631c345edf33ee7f6ecf7fd942af7760b (patch) | |
| tree | e921029ca406144081126664f92a379d745dd940 | |
| parent | 3ff758e69ae6e1237004b6fcdbe5eb839aac57ec (diff) | |
| download | klee-d44d507631c345edf33ee7f6ecf7fd942af7760b.tar.gz | |
Hiding general (LLVM) options in klee --help !
| -rw-r--r-- | tools/klee/main.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
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); |