diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig | 3 |
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 { | |||
36 | log-level = normal, | 36 | log-level = normal, |
37 | "fitness-punishSize" = "false", | 37 | "fitness-punishSize" = "false", |
38 | "fitness-scope" = "3", | 38 | "fitness-scope" = "3", |
39 | "fitness-objectCreationCosts" = "true", | ||
40 | "scopePropagator" = "typeHierarchy", | ||
41 | "fitness-missing-containment" = "2", | ||
39 | "numeric-solver-at-end" = "true" | 42 | "numeric-solver-at-end" = "true" |
40 | } | 43 | } |
41 | 44 | ||