From afa54bfd0d14cdcc53abe95aef27fe96a447d770 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 24 Jan 2021 03:20:04 +0100
Subject: Simple working version. Still diversity issue

---
 .../inputs/crossingScenarioGen.vsconfig                 | 17 +++++++++++++++--
 1 file changed, 15 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 1d47952d..7d329d18 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -8,7 +8,7 @@ generate {
 	partial-model = { "inputs/cSinit4x4.xmi"}
 	solver = ViatraSolver
 	scope = {
-		#node += 2..*
+		#node += 0..*
 		,#<Lane> += 0
 		//,#<Actor> = 25..*
 		,#<Relation> += 0
@@ -23,7 +23,20 @@ generate {
 		log-level = none,
 		"numeric-solver" = "dreal-local",
 		"dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal",
-		"ignored-attributes" = "CollisionExists.collisionTime=*",
+		"ignored-attributes" = "
+			Pedestrian.xPos=*, 
+			Pedestrian.yPos=*, 
+			Pedestrian.length=*,
+			Pedestrian.width=*, 
+			Pedestrian.xSpeed=*, 
+			Pedestrian.ySpeed=*, 
+			Vehicle.xPos=*, 
+			Vehicle.yPos=*, 
+			Vehicle.length=*,
+			Vehicle.width=*, 
+			Vehicle.xSpeed=*, 
+			Vehicle.ySpeed=*, 
+			CollisionExists.collisionTime=*",
 		"scopePropagator" = "polyhedral"}
 	
 	runs = 1
-- 
cgit v1.2.3-70-g09d2