diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-06 02:59:19 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-03-06 02:59:19 -0500 |
| commit | edfd98b8fca74489ae338077f43521b6c5e6606f (patch) | |
| tree | 68f6236435ea01471b37a8a6d55f8b2d49ff8190 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src | |
| parent | Partially improve coding style (leaving for soccer) (diff) | |
| download | VIATRA-Generator-edfd98b8fca74489ae338077f43521b6c5e6606f.tar.gz VIATRA-Generator-edfd98b8fca74489ae338077f43521b6c5e6606f.tar.zst VIATRA-Generator-edfd98b8fca74489ae338077f43521b6c5e6606f.zip | |
Continue improving code style (need sleep)
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src')
| -rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | 5 |
1 files changed, 3 insertions, 2 deletions
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 { | |||
| 39 | val InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic | 39 | val InstanceModel2Logic instanceModel2Logic = new InstanceModel2Logic |
| 40 | 40 | ||
| 41 | val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration()) | 41 | val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration()) |
| 42 | var problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output | 42 | var problem = modelGenerationProblem.output |
| 43 | problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output | 43 | // problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output |
| 44 | // problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output | ||
| 44 | 45 | ||
| 45 | workspace.writeModel(problem, "Fam.logicproblem") | 46 | workspace.writeModel(problem, "Fam.logicproblem") |
| 46 | 47 | ||