From f53b2ebc74acd9d31b54f21434e1b21eed7f5787 Mon Sep 17 00:00:00 2001
From: Hristina Palikareva <h.palikareva@imperial.ac.uk>
Date: Thu, 10 Oct 2013 12:23:20 +0100
Subject: getConstraintLog() of MetaSMTSolver explicitly states that this
 feature is not supported; a test case modified to not fail because of this.

---
 lib/Solver/Solver.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'lib/Solver')

diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp
index 4df691f2..22b1545f 100644
--- a/lib/Solver/Solver.cpp
+++ b/lib/Solver/Solver.cpp
@@ -935,7 +935,10 @@ MetaSMTSolverImpl<SolverContext>::~MetaSMTSolverImpl() {
 
 template<typename SolverContext>
 char *MetaSMTSolverImpl<SolverContext>::getConstraintLog(const Query&) {
-  // ToDo
+  const char* msg = "Not supported";
+  char *buf = new char[strlen(msg) + 1];
+  strcpy(buf, msg);
+  return(buf);
 }
 
 template<typename SolverContext>
-- 
cgit 1.4.1