From 43fcf6e297c4c305eb8f5cf3c91f8e507d440b83 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Wed, 6 Jan 2021 07:08:59 +0100 Subject: prepping measurement setup w/ dreal --- .../case.study.pledge.run/config/genericSatellite.vsconfig | 1 + 1 file changed, 1 insertion(+) (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 aad8f544..3ee164cd 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig @@ -31,6 +31,7 @@ generate { config = { runtime = 10000, + "numeric-solver" = "z3", log-level = normal, "fitness-scope" = "3", "fitness-punishSize" = "true", -- cgit v1.2.3-70-g09d2