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

---
 Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig')

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index 8ce9f6ee..db00ed7b 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -21,7 +21,8 @@ generate {
 		runtime = 10000,
 		log-level = none,
 		"numeric-solver" = "dreal-local",
-		"dreal-local-path" = "../../Solvers/dreal4/bazel-bin/dreal/dreal",
+		"dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal",
+		"strategy" = "crossingScenario",
 		"ignored-attributes" = "
 			Pedestrian.xPos=*, 
 			Pedestrian.yPos=*, 
@@ -35,11 +36,12 @@ generate {
 			Vehicle.width=*, 
 			Vehicle.xSpeed=*, 
 			Vehicle.ySpeed=*, 
-			CollisionExists.collisionTime=*",
-		"scopePropagator" = "polyhedral"}
+			CollisionExists.collisionTime=*"
+			//,"scopePropagator" = "polyhedral"
+			}
 	
 	runs = 1
-	number = 3
+	number = 1
 	debug =			"outputs/debug"
 	log =			"outputs/debug/log.txt"
 	output =		"outputs/models"	
-- 
cgit v1.2.3-70-g09d2