measurement setup is ready for server

1 files changed, 6 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 4a0bd920..2be8cb2e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig
@@ -12,8 +12,8 @@ generate {
 

         config = {

                 runtime = 10000,

-                log-level = normal,

-                "scopePropagator" = "typeHierarchy"

+                "numeric-solver" = "z3",

+                log-level = none

         }

 

         runs = 1

@@ -33,10 +33,12 @@ generate {
         config = {

                 runtime = 10000,

                 "numeric-solver" = "z3",

-                log-level = normal,

+                "dreal-local-path" = "enterPathHere",

+                log-level = none,

                 "fitness-scope" = "3",

                 "fitness-punishSize" = "true",

-                "scopePropagator" = "polyhedral"

+                "scopePropagator" = "polyhedral",

+                "fitness-missing-containment" = "1"

         }

 

         runs = 1