diff options
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend')
-rw-r--r-- | Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend index 4e2e1890..76b1ddbd 100644 --- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend | |||
@@ -35,8 +35,7 @@ class SMTSolver extends LogicReasoner{ | |||
35 | handler.callSolver(input,configuration) | 35 | handler.callSolver(input,configuration) |
36 | val solverTime = System.currentTimeMillis - solverTimeStart | 36 | val solverTime = System.currentTimeMillis - solverTimeStart |
37 | val outputModel = workspace.reloadModel(typeof(SMTDocument), "problem.smt2") | 37 | val outputModel = workspace.reloadModel(typeof(SMTDocument), "problem.smt2") |
38 | EcoreUtil.resolveAll(outputModel) | 38 | EcoreUtil.resolveAll(outputModel.eResource) |
39 | workspace.deactivateModel("problem.smt2") | ||
40 | return backMapper.transformOutput(problem,outputModel.output,trace, transformationTime, solverTime) | 39 | return backMapper.transformOutput(problem,outputModel.output,trace, transformationTime, solverTime) |
41 | } else throw new IllegalArgumentException('''The configuration have to be an «SmtSolverConfiguration.simpleName»!''') | 40 | } else throw new IllegalArgumentException('''The configuration have to be an «SmtSolverConfiguration.simpleName»!''') |
42 | } | 41 | } |