1 files changed, 4 insertions, 0 deletions

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) {