From 380622261e76f89b482d227a2c54413e0bb7f1f3 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 15 Mar 2019 12:45:13 +0000
Subject: Placed --exit-on-error, --max-tests and --watchdog in the termination
 category

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

(limited to 'include')

diff --git a/include/klee/OptionCategories.h b/include/klee/OptionCategories.h
index bcf224bd..26cfc694 100644
--- a/include/klee/OptionCategories.h
+++ b/include/klee/OptionCategories.h
@@ -17,10 +17,12 @@
 #include "llvm/Support/CommandLine.h"
 
 namespace klee {
+  extern llvm::cl::OptionCategory DebugCat;
   extern llvm::cl::OptionCategory MergeCat;
   extern llvm::cl::OptionCategory ModuleCat;
   extern llvm::cl::OptionCategory SeedingCat;
   extern llvm::cl::OptionCategory SolvingCat;
+  extern llvm::cl::OptionCategory TerminationCat;
 }
 
 #endif
-- 
cgit 1.4.1