From 974f140d79a621785b1fe4a0fc7fe321ba1089e2 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 7 Jul 2023 23:55:47 +0100
Subject: Move some options to the klee namespace and declare them in
 OptionCategories.h

---
 include/klee/Support/OptionCategories.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'include')

diff --git a/include/klee/Support/OptionCategories.h b/include/klee/Support/OptionCategories.h
index bde9a4eb..430ff7b1 100644
--- a/include/klee/Support/OptionCategories.h
+++ b/include/klee/Support/OptionCategories.h
@@ -22,11 +22,16 @@ DISABLE_WARNING_POP
 
 namespace klee {
   extern llvm::cl::OptionCategory DebugCat;
+  extern llvm::cl::OptionCategory ExprCat;
+  extern llvm::cl::OptionCategory ExtCallsCat;
+  extern llvm::cl::OptionCategory MemoryCat;
   extern llvm::cl::OptionCategory MergeCat;
   extern llvm::cl::OptionCategory MiscCat;
   extern llvm::cl::OptionCategory ModuleCat;
+  extern llvm::cl::OptionCategory SearchCat;
   extern llvm::cl::OptionCategory SeedingCat;
   extern llvm::cl::OptionCategory SolvingCat;
+  extern llvm::cl::OptionCategory StatsCat;
   extern llvm::cl::OptionCategory TerminationCat;
   extern llvm::cl::OptionCategory TestGenCat;
 }
-- 
cgit 1.4.1