diff options
Diffstat (limited to 'Tests')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore | 1 | ||||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | 7 |
2 files changed, 6 insertions, 2 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore new file mode 100644 index 00000000..7050a7e3 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore | |||
@@ -0,0 +1 @@ | |||
/queries/ | |||
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 |