From acb8dedc9d03e1d17f570e07c9f75a571bd66cf8 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Tue, 16 Feb 2021 01:11:15 +0100 Subject: Ready for strategies case study --- .../inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic') 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 70aa933a..f098d575 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,7 +43,7 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ private Map curVar2Decl; private final int TIMEOUT_DOCKER = 5000; - private final int TIMEOUT_LOCAL = 100000; + private final int TIMEOUT_LOCAL = -1; private final int DEBUG_PRINT = 3; public NumericDrealProblemSolver(boolean useDocker, String drealLocalPath) throws IOException, InterruptedException { @@ -75,7 +75,9 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ // p.waitFor(); //TODO timeout if needed long startTime = System.nanoTime(); - if (!p.waitFor(timeout, TimeUnit.MILLISECONDS)) { + if (timeout == -1) { + p.waitFor(); + } else if (!p.waitFor(timeout, TimeUnit.MILLISECONDS)) { p.destroy(); if (p.isAlive()) { p.destroyForcibly(); @@ -406,6 +408,7 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ //CREATE DREAL STM2 FILE CONTENTS long startformingProblem = System.nanoTime(); List numProbContent = formNumericProblemInstance(matches); + if (DEBUG_PRINT > 2) printOutput(numProbContent); endformingProblem = System.nanoTime()-startformingProblem; if (numProbContent == null) { @@ -446,7 +449,6 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ System.out.println(result); } if (DEBUG_PRINT > 2) { - printOutput(numProbContent); if (outputs != null) printOutput(outputs.get(0)); } -- cgit v1.2.3-54-g00ecf