1 files changed, 31 insertions, 0 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
new file mode 100644
index 00000000..3d911bfb
--- /dev/null
+++ b/Tests/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/tests/cardinality/CbcPolyhedronSolverTest.xtend
@@ -0,0 +1,31 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.tests.cardinality
+
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.CbcPolyhedronSolver
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.Dimension
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.Polyhedron
+import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.cardinality.PolyhedronSaturationResult
+import org.junit.Test
+
+import static org.junit.Assert.*
+
+class CbcPolyhedronSolverTest extends PolyhedronSolverTest {
+        
+        override protected createSolver() {
+                new CbcPolyhedronSolver(10, false)
+        }
+        
+        @Test
+        def void timeoutTest() {
+                val solver = new CbcPolyhedronSolver(0, false)
+                val x = new Dimension("x", 0, 1)
+                val polyhedron = new Polyhedron(#[x], #[], #[x])
+                val operator = solver.createSaturationOperator(polyhedron)
+                try {
+                        val result = operator.saturate
+                        
+                        assertEquals(PolyhedronSaturationResult.UNKNOWN, result)
+                } finally {
+                        operator.close()
+                }
+        } 
+}