From edfd98b8fca74489ae338077f43521b6c5e6606f Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 6 Mar 2019 02:59:19 -0500 Subject: Continue improving code style (need sleep) --- .../src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend index 8a60f486..20ad6119 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend @@ -39,8 +39,9 @@ class GeneralTest { val InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration()) - var problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output - problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output + var problem = modelGenerationProblem.output +// problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output +// problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output workspace.writeModel(problem, "Fam.logicproblem") -- cgit v1.2.3-54-g00ecf