Actually found an error in a test model!

sillydan1 · Apr 21, 2022 · 7fa2f3d · 7fa2f3d
1 parent cda4ea0
commit 7fa2f3d
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/test/verification/fischer-2/Main€FischerAð1đ.json b/test/verification/fischer-2/Main€FischerAð1đ.json
@@ -96,6 +96,16 @@
     [],
     "edges":
     [
+        {
+            "source_location": "Main€FischerAð1đ€L4",
+            "target_location": "Main€FischerAð1đ€L3",
+            "select": "",
+            "guard": "x > k",
+            "update": "",
+            "sync": "",
+            "nails":
+            []
+        },
         {
             "source_location": "Main€FischerAð1đ€L2",
             "target_location": "Main€FischerAð1đ€L3",

diff --git a/test/verification/fischer-2/Main€FischerBð2đ.json b/test/verification/fischer-2/Main€FischerBð2đ.json
@@ -96,6 +96,16 @@
     [],
     "edges":
     [
+        {
+            "source_location": "Main€FischerBð2đ€L4",
+            "target_location": "Main€FischerBð2đ€L3",
+            "select": "",
+            "guard": "x > k",
+            "update": "",
+            "sync": "",
+            "nails":
+            []
+        },
         {
             "source_location": "Main€FischerBð2đ€L2",
             "target_location": "Main€FischerBð2đ€L3",