From 6d5b1d25c162f105a2ba1f5019574943d4a3c0e0 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Thu, 14 May 2020 22:55:31 +0200 Subject: fixes for the measurement --- .../mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend') 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 3f0ba03f..ca272381 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 @@ -87,6 +87,13 @@ class SolverLoader { ] } catch (NumberFormatException e) {console.writeError('''Malformed number format: «e.message»''')} } + if(config.containsKey("numeric-solver-at-end")) { + val stringValue = config.get("numeric-solver-at-end") + if(stringValue.equals("true")) { + println("numeric-solver-at-end") + c.runIntermediateNumericalConsistencyChecks= false + } + } ] } else { throw new UnsupportedOperationException('''Unknown solver: «solver»''') -- cgit v1.2.3-54-g00ecf