From 37694e11c7a767105244ec563b061d13f0779f05 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 14 Jan 2016 16:59:08 +0000
Subject: Add some of the basic plumbing required to support a Z3 solver in
 KLEE.

---
 lib/Solver/CoreSolver.cpp | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'lib/Solver')

diff --git a/lib/Solver/CoreSolver.cpp b/lib/Solver/CoreSolver.cpp
index 9248f3d3..26842d31 100644
--- a/lib/Solver/CoreSolver.cpp
+++ b/lib/Solver/CoreSolver.cpp
@@ -86,6 +86,15 @@ Solver *createCoreSolver(CoreSolverType cst) {
 #endif
   case DUMMY_SOLVER:
     return createDummySolver();
+  case Z3_SOLVER:
+#ifdef ENABLE_Z3
+    // TODO
+    llvm::report_fatal_error("Z3 support not implemented");
+    return NULL;
+#else
+    llvm::errs() << "Not compiled with Z3 support\n";
+    return NULL;
+#endif
   default:
     llvm_unreachable("Unsupported CoreSolverType");
   }
-- 
cgit 1.4.1