From bb6fa1913dc4eb0e9d3bfd680797ee38c77e77c8 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 22 Jan 2021 04:27:36 +0100
Subject: Issue where blocker is not between source and target

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

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

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index bee56db6..1d47952d 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -23,7 +23,7 @@ generate {
 		log-level = none,
 		"numeric-solver" = "dreal-local",
 		"dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal",
-		"ignored-attributes" = "CrossingScenario.maxTime=60",
+		"ignored-attributes" = "CollisionExists.collisionTime=*",
 		"scopePropagator" = "polyhedral"}
 	
 	runs = 1
-- 
cgit v1.2.3-70-g09d2