Increasing timeout for the test to proceed without breaking the build.

bd420df5 · Daniel Le Berre · 3f17dba6 · bd420df5
Commit bd420df5 authored Jul 08, 2018 by Daniel Le Berre
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

org.sat4j.core/src/test/java/org/sat4j/ModelIteratorTest.java ...sat4j.core/src/test/java/org/sat4j/ModelIteratorTest.java +2 -1

No files found.
--- a/org.sat4j.core/src/test/java/org/sat4j/ModelIteratorTest.java
+++ b/org.sat4j.core/src/test/java/org/sat4j/ModelIteratorTest.java
@@ -402,7 +402,8 @@ public class ModelIteratorTest {
        }
    }

-    @Test(timeout = 6000)
+    // This timed test tend to fail when the test server is loaded ...
+    @Test(timeout = 12000)
    public void testGlobalTimeoutIterator() {
        ModelIterator iterator = new ModelIterator(SolverFactory.newDefault());
        IVecInt clause = new VecInt();