From 9f02e7e2fe8b3e347f3d05e8d0751dec016842cd Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Sun, 7 Feb 2021 04:54:42 +0100 Subject: measurement setup is ready for server --- .../case.study.pledge.run/config/genericSatellite.vsconfig | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig') 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 -- cgit v1.2.3-70-g09d2