From 6ac7f9bb5a9e8c2e98960cd56ca083741a709f3f Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 17 Jan 2021 03:13:47 -0500
Subject: add some actor-related queries, solve minor Z3 issue

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

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

diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index b216ed3f..c79c5775 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -9,8 +9,8 @@ generate {
 	scope = {
 		#node = 15..100,
 		#int = {},
-		#<Lane> = 20..25//,
-		//#<Actor> = 1..10,
+		#<Lane> = 10..25,
+		#<Actor> = 10..25//,
 		//#<Relation> = 1..10
 		}
 	
-- 
cgit v1.2.3-54-g00ecf