Using 12s as timeout for all tests, as a workaround for #146.

2e239a3b · Daniel Le Berre · 7f8cf679 · 2e239a3b
Commit 2e239a3b authored Sep 16, 2018 by Daniel Le Berre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

org.sat4j.core/src/test/java/org/sat4j/ModelIteratorTest.java ...sat4j.core/src/test/java/org/sat4j/ModelIteratorTest.java +1 -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
@@ -383,7 +383,7 @@ public class ModelIteratorTest {
        }
    }

-    @Test(timeout = 6000)
+    @Test(timeout = 12000)
    public void testGlobalTimeoutCounter() {
        SolutionCounter counter = new SolutionCounter(
                SolverFactory.newDefault());