diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-04-27 10:45:28 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-04-27 10:45:28 -0400 |
commit | 36ca60e5b6bd047a4f444d96241bd60a01bbab17 (patch) | |
tree | 472ee15861945af6b7056d19250734ffab4c3aef /Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig | |
parent | Merge branch 'Attribute-Solver' (diff) | |
download | VIATRA-Generator-36ca60e5b6bd047a4f444d96241bd60a01bbab17.tar.gz VIATRA-Generator-36ca60e5b6bd047a4f444d96241bd60a01bbab17.tar.zst VIATRA-Generator-36ca60e5b6bd047a4f444d96241bd60a01bbab17.zip |
rename Pledge Case Studies and add familyTree case study
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig new file mode 100644 index 00000000..140523bf --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig | |||
@@ -0,0 +1,23 @@ | |||
1 | import epackage "inputs/familytree.ecore" | ||
2 | import viatra "src/queries/familyTreeConstraints.vql" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package familytree } | ||
6 | constraints = { package queries} | ||
7 | solver = ViatraSolver | ||
8 | scope = { | ||
9 | #node = 6, | ||
10 | #int = {1,2,3,4,5} | ||
11 | } | ||
12 | |||
13 | config = { | ||
14 | runtime = 10000, | ||
15 | log-level = normal | ||
16 | } | ||
17 | |||
18 | runs = 1 | ||
19 | |||
20 | debug = "outputs/debug" | ||
21 | log = "outputs/log.txt" | ||
22 | output = "outputs/models" | ||
23 | } \ No newline at end of file | ||