From 4f0a474f5284bc97e9f509563d865424068b96fc Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 16 Feb 2021 00:55:15 +0100
Subject: Minor adjsutments to CrossScen ad FamTree local case studies

---
 .../case.study.familyTree.run/inputs/familytreeGen.vsconfig       | 8 +++++---
 Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml | 2 +-
 2 files changed, 6 insertions(+), 4 deletions(-)

(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 7ead54af..bae32fca 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig
@@ -12,9 +12,11 @@ generate {
 	
 	config = {
 		runtime = 10000,
-		log-level = normal,
-		"numeric-solver" = "dreal",
-		"scopePropagator" = "typeHierarchy"
+		log-level = full,
+		"numeric-solver" = "dreal-local",
+		"dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal",
+		"scopePropagator" = "typeHierarchy",
+		"strategy" = "crossingScenario"
 	}
 	
 	runs = 1
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml
index 2f4febdb..c760d4ef 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml
@@ -1 +1 @@
-<?xml version="1.0" encoding="UTF-8"?><plugin/>
+<?xml version="1.0" encoding="UTF-8"?><plugin/>
-- 
cgit v1.2.3-54-g00ecf