add dreal-timeout flag

2 files changed, 6 insertions, 5 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
index f098d575..eb63d96a 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java
@@ -43,13 +43,14 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{
         private Map<String, String> curVar2Decl;

         

         private final int TIMEOUT_DOCKER = 5000;

-        private final int TIMEOUT_LOCAL = -1;

-        private final int DEBUG_PRINT = 3;

+        private int TIMEOUT_LOCAL = -1;

+        private final int DEBUG_PRINT = 2;

 

-        public NumericDrealProblemSolver(boolean useDocker, String drealLocalPath) throws IOException, InterruptedException {

+        public NumericDrealProblemSolver(boolean useDocker, String drealLocalPath, int drealTimeout) throws IOException, InterruptedException {

                 this.useDocker = useDocker;

                 this.varMap = new HashMap<Object, String>();

                 this.drealLocalPath = drealLocalPath;

+                this.TIMEOUT_LOCAL = drealTimeout;

                 

                 if (useDocker) setupDocker();

         }

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
index bd4a10ff..1e5c1f29 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
@@ -14,9 +14,9 @@ public class NumericDynamicProblemSolver extends NumericProblemSolver{
 //      private NumericZ3ProblemSolver z3Solver;
         private NumericDrealProblemSolver drealSolver;
         
-        public NumericDynamicProblemSolver(String drealLocalPath) throws IOException, InterruptedException {
+        public NumericDynamicProblemSolver(String drealLocalPath, int drealTimeout) throws IOException, InterruptedException {
 //              this.z3Solver = new NumericZ3ProblemSolver();
-                this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath);
+                this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath, drealTimeout);
         }
         
         public NumericProblemSolver selectSolver(String selection) {