From fbe0a911b6afd03eed54592904521d08880e8381 Mon Sep 17 00:00:00 2001 From: Oszkár Semeráth Date: Wed, 11 Nov 2020 21:59:08 +0100 Subject: Update SolverLoader.xtend AlloySolverConfiguration returned SMTSolverConfiguration --- .../hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (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 a549df00..b76941de 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 @@ -73,7 +73,7 @@ class SolverLoader { if (!objectiveEntries.empty) { throw new IllegalArgumentException("Objectives are not supported by Alloy.") } - val c = new SmtSolverConfiguration + val c = new AlloySolverConfiguration config.getAsBoolean("fixRandomSeed", console).ifPresent[c.fixRandomSeed = it] config.getAsType("path", console, [it], String).ifPresent[c.solverPath = it] c -- cgit v1.2.3-70-g09d2