diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-14 23:07:20 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-15 10:29:55 +0000 |
| commit | f20a470e350b9a80f8e0bd7b01d47083cdb33aee (patch) | |
| tree | 6cf32ee064a0cd5b6bbaf2f269d224a8d96c4b3c /include | |
| parent | d13e0cbbaad29c23fc8e3bb17f3f5154990cbd6f (diff) | |
| download | klee-f20a470e350b9a80f8e0bd7b01d47083cdb33aee.tar.gz | |
Created a new module-related option category and moved the options in KModule.cpp in there
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/OptionCategories.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/klee/OptionCategories.h b/include/klee/OptionCategories.h index d0e359fa..e107f853 100644 --- a/include/klee/OptionCategories.h +++ b/include/klee/OptionCategories.h @@ -17,8 +17,9 @@ #include "llvm/Support/CommandLine.h" namespace klee { - extern llvm::cl::OptionCategory SolvingCat; extern llvm::cl::OptionCategory MergeCat; + extern llvm::cl::OptionCategory ModuleCat; + extern llvm::cl::OptionCategory SolvingCat; } #endif |