From 1cfc2e98ffbba1dc2a489ad415c81264b76d8c14 Mon Sep 17 00:00:00 2001 From: 20001LastOrder Date: Sun, 15 Nov 2020 21:56:45 -0500 Subject: code for paper --- .../mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (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 5b35feaf..71244067 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 @@ -74,9 +74,9 @@ class SolverLoader { if (!objectiveEntries.empty) { throw new IllegalArgumentException("Objectives are not supported by Alloy.") } - val c = new SmtSolverConfiguration - config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it] - config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it] + val c = new AlloySolverConfiguration + // config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it] + // config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it] c } case SMT_SOLVER: { -- cgit v1.2.3-54-g00ecf