From 0ebddc8dd265cd5b1b439e3c06f1de1047641559 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 16 Feb 2021 03:06:22 +0100
Subject: add dreal-timeout flag

---
 Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index db00ed7b..401273b2 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -22,6 +22,7 @@ generate {
 		log-level = none,
 		"numeric-solver" = "dreal-local",
 		"dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal",
+		"dreal-timeout" = "10000",
 		"strategy" = "crossingScenario",
 		"ignored-attributes" = "
 			Pedestrian.xPos=*, 
-- 
cgit v1.2.3-70-g09d2