Add some of the basic plumbing required to support a Z3 solver in KLEE.

1 files changed, 9 insertions, 0 deletions

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");
   }