From 8ac747b1b84513c70f8445a7c84c6a3644a1f6fa Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Fri, 22 Jan 2021 00:50:08 +0100
Subject: implement ignored attribute values as a config option

---
 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 1db557a9..bee56db6 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -23,6 +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",
 		"scopePropagator" = "polyhedral"}
 	
 	runs = 1
-- 
cgit v1.2.3-70-g09d2