diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-15 12:28:49 +0000 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-15 22:53:39 +0000 |
commit | 7885041375ae3b878dbd7bafaf80ad21e38ab2bc (patch) | |
tree | c4ecf991da8b6113a381e1ab988b69436f56cb73 /include | |
parent | 7400b9363975706ed5407c980f9becbe460634b7 (diff) | |
download | klee-7885041375ae3b878dbd7bafaf80ad21e38ab2bc.tar.gz |
Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and placed them in the seeding category. Moved options and option categories in Executor.cpp to the klee namespace.
Diffstat (limited to 'include')
-rw-r--r-- | include/klee/OptionCategories.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/klee/OptionCategories.h b/include/klee/OptionCategories.h index e107f853..bcf224bd 100644 --- a/include/klee/OptionCategories.h +++ b/include/klee/OptionCategories.h @@ -19,6 +19,7 @@ namespace klee { extern llvm::cl::OptionCategory MergeCat; extern llvm::cl::OptionCategory ModuleCat; + extern llvm::cl::OptionCategory SeedingCat; extern llvm::cl::OptionCategory SolvingCat; } |