From 0ebddc8dd265cd5b1b439e3c06f1de1047641559 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Tue, 16 Feb 2021 03:06:22 +0100 Subject: add dreal-timeout flag --- .../mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java') 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) { -- cgit v1.2.3-54-g00ecf