From 3ae967137fc715ff4ae5109895771fd1ca0724e4 Mon Sep 17 00:00:00 2001
From: "Hoang M. Le" <hle@informatik.uni-bremen.de>
Date: Wed, 15 Mar 2017 13:21:44 +0100
Subject: replace handleMetaSMT() with klee::createMetaSMTSolver() and move it
 into MetaSMTSolver.cpp so that the backend headers only need to be included
 once there

---
 include/klee/Solver.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/Solver.h b/include/klee/Solver.h
index 32c8cf9e..7f12ddfb 100644
--- a/include/klee/Solver.h
+++ b/include/klee/Solver.h
@@ -253,7 +253,11 @@ namespace klee {
   
     virtual char *getConstraintLog(const Query&);
     virtual void setCoreSolverTimeout(double timeout);
-};
+  };
+
+  /// createMetaSMTSolver - Create a solver using the metaSMT backend set by 
+  /// the option MetaSMTBackend.
+  Solver *createMetaSMTSolver();
 
 #endif /* ENABLE_METASMT */
 
-- 
cgit 1.4.1