From 0ebddc8dd265cd5b1b439e3c06f1de1047641559 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 16 Feb 2021 03:06:22 +0100
Subject: add dreal-timeout flag

---
 .../bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend  | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
index 045387a0..ac4f29a9 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend
@@ -156,6 +156,10 @@ class SolverLoader {
 						c.drealLocalPath = stringValue;	
 					}
 				}
+				if (config.containsKey("dreal-timeout")) {
+					val stringValue = config.get("dreal-timeout")
+						c.drealTimeout = Integer.parseInt(stringValue)
+				}
 				if (config.containsKey("scopePropagator")) {
 					val stringValue = config.get("scopePropagator")
 					c.scopePropagatorStrategy = switch (stringValue) {
-- 
cgit v1.2.3-70-g09d2