From 9eb0125f77fdd1f0db2b9769d9fb192d05e43226 Mon Sep 17 00:00:00 2001
From: "Hoang M. Le" <hle@informatik.uni-bremen.de>
Date: Thu, 5 Oct 2017 15:50:21 +0200
Subject: add support for CVC4 and Yices2 via metaSMT

---
 include/klee/CommandLine.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/CommandLine.h b/include/klee/CommandLine.h
index 79f9286b..9668d00b 100644
--- a/include/klee/CommandLine.h
+++ b/include/klee/CommandLine.h
@@ -61,7 +61,9 @@ enum MetaSMTBackendType
 {
     METASMT_BACKEND_STP,
     METASMT_BACKEND_Z3,
-    METASMT_BACKEND_BOOLECTOR
+    METASMT_BACKEND_BOOLECTOR,
+    METASMT_BACKEND_CVC4,
+    METASMT_BACKEND_YICES2
 };
 
 extern llvm::cl::opt<klee::MetaSMTBackendType> MetaSMTBackend;
-- 
cgit 1.4.1