From a7b9a3eef14fc165909d00c65bb6fc1744a8ebd8 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 7 Jul 2020 15:00:13 +0200 Subject: Trying to fix performance regressions --- .../case.study.familyTree.run/bin/.gitignore | 1 + .../case.study.pledge.run/config/genericSatellite.vsconfig | 7 +++++-- 2 files changed, 6 insertions(+), 2 deletions(-) create mode 100644 Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore (limited to 'Tests/MODELS2020-CaseStudies') 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 { generate { metamodel = { package satellite } constraints = { package hu.bme.mit.inf.dslreasoner.domains.satellite.queries } - partial-model = { "inputs/SatelliteInstance.xmi"} + partial-model = { "inputs/SatelliteInstance.xmi" } solver = ViatraSolver scope = { #node += 64..* @@ -33,7 +33,10 @@ generate { runtime = 10000, log-level = normal, "fitness-scope" = "3", - "fitness-objectCreationCosts" = "true" + "fitness-punishSize" = "true", + "fitness-objectCreationCosts" = "true", + "scopePropagator" = "typeHierarchy", + "fitness-missing-containment" = "2" } runs = 1 -- cgit v1.2.3-70-g09d2