diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-11-24 07:51:31 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:43:57 -0400 |
commit | 7d44e20d1a2085a9fa686580a96f4f37214b3875 (patch) | |
tree | 3a6a4240ee5ce928c51ad6afa99e8e03e8bb3162 /Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application | |
parent | VAMPIRE: post-submission push (diff) | |
download | VIATRA-Generator-7d44e20d1a2085a9fa686580a96f4f37214b3875.tar.gz VIATRA-Generator-7d44e20d1a2085a9fa686580a96f4f37214b3875.tar.zst VIATRA-Generator-7d44e20d1a2085a9fa686580a96f4f37214b3875.zip |
VAMPIRE: Further Post-submission updates
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application')
-rw-r--r-- | Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend index 8d840943..aa98e268 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src/hu/bme/mit/inf/dslreasoner/application/execution/GenerationTaskExecutor.xtend | |||
@@ -200,7 +200,7 @@ class GenerationTaskExecutor { | |||
200 | } | 200 | } |
201 | 201 | ||
202 | // 7. Solver call | 202 | // 7. Solver call |
203 | val ewsdzxA = solver.solve(problem,solverConfig,reasonerWorkspaceForRun) | 203 | val solution = solver.solve(problem,solverConfig,reasonerWorkspaceForRun) |
204 | console.writeMessage(solution.soutionDescription.toString) | 204 | console.writeMessage(solution.soutionDescription.toString) |
205 | 205 | ||
206 | // 8. Solution processing | 206 | // 8. Solution processing |