diff options
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 6 |
1 files changed, 3 insertions, 3 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 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 { | |||
74 | if (!objectiveEntries.empty) { | 74 | if (!objectiveEntries.empty) { |
75 | throw new IllegalArgumentException("Objectives are not supported by Alloy.") | 75 | throw new IllegalArgumentException("Objectives are not supported by Alloy.") |
76 | } | 76 | } |
77 | val c = new SmtSolverConfiguration | 77 | val c = new AlloySolverConfiguration |
78 | config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it] | 78 | // config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it] |
79 | config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it] | 79 | // config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it] |
80 | c | 80 | c |
81 | } | 81 | } |
82 | case SMT_SOLVER: { | 82 | case SMT_SOLVER: { |