diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config')
5 files changed, 63 insertions, 10 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 64e0de68..8c11636c 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTree.vsconfig | |||
@@ -9,7 +9,7 @@ generate { | |||
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 += 10..* |
13 | } | 13 | } |
14 | 14 | ||
15 | config = { | 15 | config = { |
@@ -33,12 +33,14 @@ generate { | |||
33 | 33 | ||
34 | config = { | 34 | config = { |
35 | runtime = 10000, | 35 | runtime = 10000, |
36 | log-level = normal | 36 | log-level = normal, |
37 | "fitness-punishSize" = "false", | ||
38 | "fitness-scope" = "3" | ||
37 | } | 39 | } |
38 | 40 | ||
39 | runs = 1 | 41 | runs = 1 |
40 | number = 10 | 42 | number = 10 |
41 | 43 | ||
42 | debug = "outputs/debug" | 44 | debug = "outputs/debug" |
43 | log = "outputs/log.txt" | 45 | log = "outputs/log.txt" |
44 | output = "outputs/models" | 46 | output = "outputs/models" |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig index 723f401c..4a02395d 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig | |||
@@ -9,13 +9,12 @@ generate { | |||
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 += 10..* |
13 | } | 13 | } |
14 | 14 | ||
15 | config = { | 15 | config = { |
16 | runtime = 10000, | 16 | runtime = 10000, |
17 | log-level = normal, | 17 | log-level = normal |
18 | "numeric-solver-at-end" = "true" | ||
19 | } | 18 | } |
20 | 19 | ||
21 | runs = 1 | 20 | runs = 1 |
@@ -34,7 +33,10 @@ generate { | |||
34 | 33 | ||
35 | config = { | 34 | config = { |
36 | runtime = 10000, | 35 | runtime = 10000, |
37 | log-level = normal | 36 | log-level = normal, |
37 | "fitness-punishSize" = "false", | ||
38 | "fitness-scope" = "3", | ||
39 | "numeric-solver-at-end" = "true" | ||
38 | } | 40 | } |
39 | 41 | ||
40 | runs = 1 | 42 | runs = 1 |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig new file mode 100644 index 00000000..47706ab6 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig | |||
@@ -0,0 +1,49 @@ | |||
1 | import epackage "../case.study.familyTree.model/model/familytree.ecore" | ||
2 | import viatra "src/queries/familyTreeConstraintsQual.vql" | ||
3 | import epackage "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/model/satellite.ecore" | ||
4 | import viatra "src/queries/SatelliteQueries.vql" | ||
5 | |||
6 | generate { | ||
7 | metamodel = { package satellite } | ||
8 | constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } | ||
9 | partial-model = { "inputs/SatelliteInstance.xmi"} | ||
10 | solver = ViatraSolver | ||
11 | scope = { | ||
12 | #node += 10..* | ||
13 | } | ||
14 | |||
15 | config = { | ||
16 | runtime = 10000, | ||
17 | log-level = normal | ||
18 | } | ||
19 | |||
20 | runs = 1 | ||
21 | |||
22 | output = "measurements/debug/warmup" | ||
23 | } | ||
24 | |||
25 | generate { | ||
26 | metamodel = { package familytree } | ||
27 | constraints = { package queries} | ||
28 | partial-model = { "inputs/FamilyTree.xmi" } | ||
29 | solver = ViatraSolver | ||
30 | scope = { | ||
31 | #node += 6..* | ||
32 | } | ||
33 | |||
34 | config = { | ||
35 | runtime = 10000, | ||
36 | log-level = normal, | ||
37 | "fitness-punishSize" = "false", | ||
38 | "fitness-scope" = "3", | ||
39 | "numeric-solver-at-end" = "true" | ||
40 | } | ||
41 | |||
42 | runs = 1 | ||
43 | number = 10 | ||
44 | |||
45 | debug = "outputs/debug" | ||
46 | log = "outputs/log.txt" | ||
47 | output = "outputs/models" | ||
48 | statistics = "output/debug/statistics.csv" | ||
49 | } \ 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 ed06d32f..b9a606f0 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | |||
@@ -7,7 +7,7 @@ generate { | |||
7 | partial-model = { "inputs/SatelliteInstance.xmi"} | 7 | partial-model = { "inputs/SatelliteInstance.xmi"} |
8 | solver = ViatraSolver | 8 | solver = ViatraSolver |
9 | scope = { | 9 | scope = { |
10 | #node += 20..* | 10 | #node += 10..* |
11 | } | 11 | } |
12 | 12 | ||
13 | config = { | 13 | config = { |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig index 842a770a..23eec7fe 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig | |||
@@ -9,7 +9,7 @@ generate { | |||
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 += 10..* |
13 | } | 13 | } |
14 | 14 | ||
15 | config = { | 15 | config = { |