From 569b3f42c13a1a659f3f66ee7f2ab7f5845163ca Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 29 Aug 2018 19:19:32 +0200
Subject: [PATCH] more timeout fixes

---
 .../de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java b/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java
index bebf937..49986f9 100644
--- a/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java
+++ b/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java
@@ -60,6 +60,7 @@ public abstract class AbstractILPSolver implements BenchmarkableSolver {
     this.lastSolutionCreation = 0;
     this.lastObjective = 0;
     this.timedOut = false;
+    setTimeout(this.timeoutValueOriginal, this.timeoutUnitOriginal);
   }
 
   @Override
-- 
GitLab