diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig | 3 | ||||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig (renamed from Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationNoRoot.vsconfig) | 90 | ||||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | 1 | ||||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig (renamed from Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationWithRoot.vsconfig) | 91 |
4 files changed, 95 insertions, 90 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig index 2ce18b6f..64e0de68 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig | |||
@@ -28,7 +28,7 @@ generate { | |||
28 | partial-model = { "inputs/FamilyTree.xmi" } | 28 | partial-model = { "inputs/FamilyTree.xmi" } |
29 | solver = ViatraSolver | 29 | solver = ViatraSolver |
30 | scope = { | 30 | scope = { |
31 | #node = 6..* | 31 | #node += 6..* |
32 | } | 32 | } |
33 | 33 | ||
34 | config = { | 34 | config = { |
@@ -37,6 +37,7 @@ generate { | |||
37 | } | 37 | } |
38 | 38 | ||
39 | runs = 1 | 39 | runs = 1 |
40 | number = 10 | ||
40 | 41 | ||
41 | debug = "outputs/debug" | 42 | debug = "outputs/debug" |
42 | log = "outputs/log.txt" | 43 | log = "outputs/log.txt" |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationNoRoot.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig index 31e828e7..723f401c 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationNoRoot.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig | |||
@@ -1,45 +1,47 @@ | |||
1 | import epackage "../case.study.pledge.model/model/Taxation.ecore" | 1 | import epackage "../case.study.familyTree.model/model/familytree.ecore" |
2 | import viatra "src/queries/case_study_A.vql" | 2 | import viatra "src/queries/familyTreeConstraints.vql" |
3 | import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" | 3 | import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" |
4 | import viatra "src/queries/SatelliteQueries.vql" | 4 | import viatra "src/queries/SatelliteQueries.vql" |
5 | 5 | ||
6 | generate { | 6 | generate { |
7 | metamodel = { package satellite } | 7 | metamodel = { package satellite } |
8 | constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } | 8 | constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } |
9 | partial-model = { "inputs/SatelliteInstance.xmi"} | 9 | partial-model = { "inputs/SatelliteInstance.xmi"} |
10 | solver = ViatraSolver | 10 | solver = ViatraSolver |
11 | scope = { | 11 | scope = { |
12 | #node += 20..* | 12 | #node += 20..* |
13 | } | 13 | } |
14 | 14 | ||
15 | config = { | 15 | config = { |
16 | runtime = 10000, | 16 | runtime = 10000, |
17 | log-level = normal | 17 | log-level = normal, |
18 | } | 18 | "numeric-solver-at-end" = "true" |
19 | 19 | } | |
20 | runs = 1 | 20 | |
21 | 21 | runs = 1 | |
22 | output = "measurements/debug/warmup" | 22 | |
23 | } | 23 | output = "measurements/debug/warmup" |
24 | 24 | } | |
25 | generate { | 25 | |
26 | metamodel = { package Taxation } | 26 | generate { |
27 | constraints = { package queries} | 27 | metamodel = { package familytree } |
28 | partial-model = { "inputs/Household.xmi" } | 28 | constraints = { package queries} |
29 | solver = ViatraSolver | 29 | partial-model = { "inputs/FamilyTree.xmi" } |
30 | scope = { | 30 | solver = ViatraSolver |
31 | #node = 70..* | 31 | scope = { |
32 | } | 32 | #node += 6..* |
33 | 33 | } | |
34 | config = { | 34 | |
35 | runtime = 10000, | 35 | config = { |
36 | log-level = normal | 36 | runtime = 10000, |
37 | } | 37 | log-level = normal |
38 | 38 | } | |
39 | runs = 1 | 39 | |
40 | 40 | runs = 1 | |
41 | debug = "output/debug/" | 41 | number = 10 |
42 | log = "output/debug/log.txt" | 42 | |
43 | output = "output/models" | 43 | debug = "outputs/debug" |
44 | statistics = "output/debug/statistics.csv" | 44 | log = "outputs/log.txt" |
45 | output = "outputs/models" | ||
46 | statistics = "output/debug/statistics.csv" | ||
45 | } \ No newline at end of file | 47 | } \ No newline at end of file |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig index ab25ea32..ed06d32f 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | |||
@@ -35,6 +35,7 @@ generate { | |||
35 | } | 35 | } |
36 | 36 | ||
37 | runs = 1 | 37 | runs = 1 |
38 | number = 10 | ||
38 | 39 | ||
39 | debug = "outputs/debug" | 40 | debug = "outputs/debug" |
40 | log = "outputs/log.txt" | 41 | log = "outputs/log.txt" |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationWithRoot.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig index b9ff7318..842a770a 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxationWithRoot.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig | |||
@@ -1,46 +1,47 @@ | |||
1 | import epackage "../case.study.pledge.model/model/TaxationWithRoot.ecore" | 1 | import epackage "../case.study.pledge.model/model/TaxationWithRoot.ecore" |
2 | import viatra "src/queries/case_study_A_withRoot.vql" | 2 | import viatra "src/queries/case_study_A_withRoot.vql" |
3 | import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" | 3 | import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" |
4 | import viatra "src/queries/SatelliteQueries.vql" | 4 | import viatra "src/queries/SatelliteQueries.vql" |
5 | 5 | ||
6 | generate { | 6 | generate { |
7 | metamodel = { package satellite } | 7 | metamodel = { package satellite } |
8 | constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } | 8 | constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } |
9 | partial-model = { "inputs/SatelliteInstance.xmi"} | 9 | partial-model = { "inputs/SatelliteInstance.xmi"} |
10 | solver = ViatraSolver | 10 | solver = ViatraSolver |
11 | scope = { | 11 | scope = { |
12 | #node += 20..* | 12 | #node += 20..* |
13 | } | 13 | } |
14 | 14 | ||
15 | config = { | 15 | config = { |
16 | runtime = 10000, | 16 | runtime = 10000, |
17 | log-level = normal | 17 | log-level = normal |
18 | } | 18 | } |
19 | 19 | ||
20 | runs = 1 | 20 | runs = 1 |
21 | 21 | ||
22 | output = "measurements/debug/warmup" | 22 | output = "measurements/debug/warmup" |
23 | } | 23 | } |
24 | 24 | ||
25 | generate { | 25 | generate { |
26 | metamodel = { package TaxationWithRoot } | 26 | metamodel = { package TaxationWithRoot } |
27 | constraints = { package queries} | 27 | constraints = { package queries} |
28 | partial-model = { "inputs/Resource.xmi" } | 28 | partial-model = { "inputs/Resource.xmi" } |
29 | solver = ViatraSolver | 29 | solver = ViatraSolver |
30 | scope = { | 30 | scope = { |
31 | #node = 70..*, | 31 | #node += 70..*, |
32 | #<Household> += 0 | 32 | #<Household> += 0 |
33 | } | 33 | } |
34 | 34 | ||
35 | config = { | 35 | config = { |
36 | runtime = 10000, | 36 | runtime = 10000, |
37 | log-level = normal | 37 | log-level = normal |
38 | } | 38 | } |
39 | 39 | ||
40 | runs = 1 | 40 | runs = 1 |
41 | 41 | number = 10 | |
42 | debug = "output/debug/" | 42 | |
43 | log = "output/debug/log.txt" | 43 | debug = "output/debug/" |
44 | output = "output/models" | 44 | log = "output/debug/log.txt" |
45 | statistics = "output/debug/statistics.csv" | 45 | output = "output/models" |
46 | statistics = "output/debug/statistics.csv" | ||
46 | } \ No newline at end of file | 47 | } \ No newline at end of file |