aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig7
1 files changed, 5 insertions, 2 deletions
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 127b174d..2ff20880 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
@@ -23,7 +23,7 @@ generate {
23generate { 23generate {
24 metamodel = { package satellite } 24 metamodel = { package satellite }
25 constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } 25 constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries }
26 partial-model = { "inputs/SatelliteInstance.xmi"} 26 partial-model = { "inputs/SatelliteInstance.xmi" }
27 solver = ViatraSolver 27 solver = ViatraSolver
28 scope = { 28 scope = {
29 #node += 64..* 29 #node += 64..*
@@ -33,7 +33,10 @@ generate {
33 runtime = 10000, 33 runtime = 10000,
34 log-level = normal, 34 log-level = normal,
35 "fitness-scope" = "3", 35 "fitness-scope" = "3",
36 "fitness-objectCreationCosts" = "true" 36 "fitness-punishSize" = "true",
37 "fitness-objectCreationCosts" = "true",
38 "scopePropagator" = "typeHierarchy",
39 "fitness-missing-containment" = "2"
37 } 40 }
38 41
39 runs = 1 42 runs = 1