diff options
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.vsconfig | 7 |
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 { | |||
23 | generate { | 23 | generate { |
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 |