Commit 6605bc5e authored by Daniel Le Berre's avatar Daniel Le Berre

Increasing JUnit timeout to avoid breaking builds.

parent ad1ee8d5
Pipeline #3418 passed with stages
in 41 minutes and 56 seconds
......@@ -54,7 +54,7 @@ public class TestGroupedTimeoutModelEnumeration {
this.solver.addClause(clause);
}
@Test(expected = TimeoutException.class, timeout = 3000)
@Test(expected = TimeoutException.class, timeout = 6000)
public void testTimeoutOnSeconds() throws TimeoutException {
this.solver.setTimeout(2);
while (this.solver.isSatisfiable()) {
......@@ -62,7 +62,7 @@ public class TestGroupedTimeoutModelEnumeration {
}
}
@Test(expected = TimeoutException.class, timeout = 3000)
@Test(expected = TimeoutException.class, timeout = 6000)
public void testTimeoutOnMilliSeconds() throws TimeoutException {
this.solver.setTimeoutMs(2000);
while (this.solver.isSatisfiable()) {
......@@ -77,8 +77,8 @@ public class TestGroupedTimeoutModelEnumeration {
this.solver.setTimeoutOnConflicts(100);
int i = 1;
while (this.solver.isSatisfiable()) {
System.out.println(this.solver
.createBlockingClauseForCurrentModel());
System.out
.println(this.solver.createBlockingClauseForCurrentModel());
this.solver.model(); // needed to discard that solution
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment