From 7885041375ae3b878dbd7bafaf80ad21e38ab2bc Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 15 Mar 2019 12:28:49 +0000
Subject: 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.

---
 include/klee/OptionCategories.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'include')

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;
 }
 
-- 
cgit 1.4.1