blob: 3d911bfbdc8c3ba7ee9889b7e5a46ca5df555859 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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()
}
}
}
|