From b13b083b683d28365f4956bae1c6e3e7ac8fab1c Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 7 Jul 2020 17:48:54 +0200 Subject: Restore inverse punishSize --- Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore | 1 - .../case.study.pledge.run/config/genericSatellite.vsconfig | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) delete 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 deleted file mode 100644 index 7050a7e3..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/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 2ff20880..57eaf326 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig @@ -33,7 +33,7 @@ generate { runtime = 10000, log-level = normal, "fitness-scope" = "3", - "fitness-punishSize" = "true", + "fitness-punishSize" = "inverse", "fitness-objectCreationCosts" = "true", "scopePropagator" = "typeHierarchy", "fitness-missing-containment" = "2" -- cgit v1.2.3-54-g00ecf