diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-07 12:29:02 -0500 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-03-07 12:29:02 -0500 |
| commit | 4e93d89e6cd3690039192d4762e24f4e426abaf1 (patch) | |
| tree | 4295a51ae7223d4308197e7600e2f427d9871177 | |
| parent | More detailed error message (diff) | |
| download | VIATRA-Generator-4e93d89e6cd3690039192d4762e24f4e426abaf1.tar.gz VIATRA-Generator-4e93d89e6cd3690039192d4762e24f4e426abaf1.tar.zst VIATRA-Generator-4e93d89e6cd3690039192d4762e24f4e426abaf1.zip | |
Path as additional parameter
| -rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/SolverLoader.xtend | 1 |
1 files changed, 1 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 9ae1ba6b..74b3b17d 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 | |||
| @@ -69,6 +69,7 @@ class SolverLoader { | |||
| 69 | } else if(solver === Solver::SMT_SOLVER) { | 69 | } else if(solver === Solver::SMT_SOLVER) { |
| 70 | return new SmtSolverConfiguration => [c| | 70 | return new SmtSolverConfiguration => [c| |
| 71 | config.getAsBoolean("fixRandomSeed",console).ifPresent[c.fixRandomSeed = it] | 71 | config.getAsBoolean("fixRandomSeed",console).ifPresent[c.fixRandomSeed = it] |
| 72 | config.getAsType("path",console,[it],String).ifPresent[c.solverPath = it] | ||
| 72 | ] | 73 | ] |
| 73 | } else if(solver === Solver::VIATRA_SOLVER) { | 74 | } else if(solver === Solver::VIATRA_SOLVER) { |
| 74 | return new ViatraReasonerConfiguration => [c| | 75 | return new ViatraReasonerConfiguration => [c| |