aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig6
1 files changed, 2 insertions, 4 deletions
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 57eaf326..192dac7b 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
@@ -33,10 +33,8 @@ 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-punishSize" = "inverse", 36 "fitness-punishSize" = "true",
37 "fitness-objectCreationCosts" = "true", 37 "scopePropagator" = "polyhedral"
38 "scopePropagator" = "typeHierarchy",
39 "fitness-missing-containment" = "2"
40 } 38 }
41 39
42 runs = 1 40 runs = 1