Issue where blocker is not between source and target

2 files changed, 7 insertions, 2 deletions

diff --git a/Domains/crossingScenario/inputs/cSinit4x4.xmi b/Domains/crossingScenario/inputs/cSinit4x4.xmi
index dd9b41de..24c29774 100644
--- a/Domains/crossingScenario/inputs/cSinit4x4.xmi
+++ b/Domains/crossingScenario/inputs/cSinit4x4.xmi
@@ -7,7 +7,9 @@
     xsi:schemaLocation="http://www.example.com/crossingScenario ../model/crossingScenario.ecore"

     xSize="100.0"

     ySize="100.0"

-    maxTime="60.0">

+    maxTime="60.0"

+    maxXSpeed="100.0"

+    maxYSpeed="100.0">

   <lanes xsi:type="crossingScenario:Lane_Horizontal"/>

   <lanes xsi:type="crossingScenario:Lane_Horizontal"

       referenceCoord="5.0"/>

@@ -24,4 +26,7 @@
       referenceCoord="15.0"/>

   <relations

       xsi:type="crossingScenario:VisionBlocked"/>

+  <relations

+      xsi:type="crossingScenario:CollisionExists"

+      collisionTime="-1.0"/>

 </crossingScenario:CrossingScenario>

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