Commit ffefc7ad authored by Daniel Le Berre's avatar Daniel Le Berre

Increases timeout to see if it solves the failures in Java 7, 11 and 12

parent e3be2c0c
Pipeline #6176 passed with stages
in 181 minutes and 59 seconds
......@@ -92,7 +92,7 @@ public abstract class AbstractAcceptanceTestCase extends TestCase {
throws FileNotFoundException, ParseFormatException, IOException {
try {
this.solver.setTimeout(300); // set timeout to 5 minutes.
this.solver.setTimeout(600); // set timeout to 10 minutes.
return this.solver.isSatisfiable();
} catch (ContradictionException ce) {
return false;
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