From f5afda733ffdf4f52da932e03919c20b99bf7fa6 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Tue, 15 Dec 2020 13:18:17 -0500 Subject: Add config flag for selecting numeric solver. Integ with Z3 --- .../case.study.familyTree.run/inputs/familytreeGen.vsconfig | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Tests') diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig index bf0f9dbe..b2a6b64a 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig @@ -12,7 +12,9 @@ generate { config = { runtime = 10000, - log-level = normal + log-level = normal, + "numeric-solver" = "dreal", + "scopePropagator" = "typeHierarchy" } runs = 1 -- cgit v1.2.3-70-g09d2