1 files changed, 3 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
index 80ab2906..fa9cd6e2 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig
@@ -36,6 +36,9 @@ generate {
                 log-level = normal,
                 "fitness-punishSize" = "false",
                 "fitness-scope" = "3",
+                "fitness-objectCreationCosts" = "true",
+                "scopePropagator" = "typeHierarchy",
+                "fitness-missing-containment" = "2",
                 "numeric-solver-at-end" = "true"
         }