From 37694e11c7a767105244ec563b061d13f0779f05 Mon Sep 17 00:00:00 2001 From: Dan Liew 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