From 9dc7d09b39316c0036f81b86aa1f3b031fda8907 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 8 Aug 2016 14:04:40 +0200
Subject: [PATCH] Placeholder for checkAssumptions
---
src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
index 77e65512c..4e3597e5a 100644
--- a/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
+++ b/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
@@ -105,6 +105,8 @@ trait SMTLIBSolver extends Solver with SMTLIBTarget {
}
}
+ def checkAssumptions(config: Configuration)(assumptions: Set[Trees]): config.Response[Model, Cores] = ???
+
def push(): Unit = {
constructors.push()
selectors.push()
--
GitLab