1 files changed, 11 insertions, 3 deletions

diff --git a/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend
index a51aa082..b22e2a20 100644
--- a/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend
+++ b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend
@@ -7,11 +7,19 @@ import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.Polyhedr
 import org.junit.Test
 
 import static org.junit.Assert.*
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.LinearConstraint
 
 class CbcPolyhedronSolverTest extends IntegerPolyhedronSolverTest {
 
         override protected createSolver() {
-                new CbcPolyhedronSolver(10, true)
+                new CbcPolyhedronSolver(false, 10, true)
+        }
+}
+
+class RelaxedCbcPolyhedronSolverTest extends RelaxedPolyhedronSolverTest {
+
+        override protected createSolver() {
+                new CbcPolyhedronSolver(true, 10, true)
         }
 }
 
@@ -19,9 +27,9 @@ class CbcPolyhedronSolverTimeoutTest {
 
         @Test
         def void timeoutTest() {
-                val solver = new CbcPolyhedronSolver(0, true)
+                val solver = new CbcPolyhedronSolver(false, 0, true)
                 val x = new Dimension("x", 0, 1)
-                val polyhedron = new Polyhedron(#[x], #[], #[x])
+                val polyhedron = new Polyhedron(#[x], #[new LinearConstraint(#{x -> 1}, null, 0)], #[x])
                 val operator = solver.createSaturationOperator(polyhedron)
                 try {
                         val result = operator.saturate