diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-04-24 19:54:57 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-04-24 19:54:57 -0400 |
commit | 8af821e133a51179c1692cd48fb03cad80124e54 (patch) | |
tree | 18b0c29469d3bb9843baf61bb372bdaeb9f88f21 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend | |
parent | VAMPIRE: add to #40. I am tired (diff) | |
download | VIATRA-Generator-8af821e133a51179c1692cd48fb03cad80124e54.tar.gz VIATRA-Generator-8af821e133a51179c1692cd48fb03cad80124e54.tar.zst VIATRA-Generator-8af821e133a51179c1692cd48fb03cad80124e54.zip |
VAMPIRE : initial model handling almost done. only typeScope remains #40
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend index d4cbb299..61a20a34 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.xtend | |||
@@ -43,7 +43,7 @@ class FileSystemTest { | |||
43 | 43 | ||
44 | val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration()) | 44 | val modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, new Ecore2LogicConfiguration()) |
45 | var problem = modelGenerationProblem.output | 45 | var problem = modelGenerationProblem.output |
46 | // problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output | 46 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).output |
47 | // problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output | 47 | // problem = viatra2Logic.transformQueries(queries, modelGenerationProblem, new Viatra2LogicConfiguration).output |
48 | workspace.writeModel(problem, "FileSystem.logicproblem") | 48 | workspace.writeModel(problem, "FileSystem.logicproblem") |
49 | 49 | ||
@@ -76,8 +76,8 @@ class FileSystemTest { | |||
76 | // add configuration things, in config file first | 76 | // add configuration things, in config file first |
77 | it.documentationLevel = DocumentationLevel::FULL | 77 | it.documentationLevel = DocumentationLevel::FULL |
78 | 78 | ||
79 | it.typeScopes.minNewElements = 40 | 79 | it.typeScopes.minNewElements = 10 |
80 | it.typeScopes.maxNewElements = 59 | 80 | it.typeScopes.maxNewElements = 25 |
81 | if(typeMapMin.size != 0) it.typeScopes.minNewElementsByType = typeMapMin | 81 | if(typeMapMin.size != 0) it.typeScopes.minNewElementsByType = typeMapMin |
82 | if(typeMapMin.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax | 82 | if(typeMapMin.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax |
83 | it.contCycleLevel = 5 | 83 | it.contCycleLevel = 5 |