aboutsummaryrefslogtreecommitdiffstats
path: root/Tests
diff options
context:
space:
mode:
Diffstat (limited to 'Tests')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig4
1 files changed, 3 insertions, 1 deletions
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 {
12 12
13 config = { 13 config = {
14 runtime = 10000, 14 runtime = 10000,
15 log-level = normal 15 log-level = normal,
16 "numeric-solver" = "dreal",
17 "scopePropagator" = "typeHierarchy"
16 } 18 }
17 19
18 runs = 1 20 runs = 1