From 7fa2f3d76314204cc9c2c50e96ccdfc192d41513 Mon Sep 17 00:00:00 2001 From: Asger Gitz-Johansen Date: Thu, 21 Apr 2022 21:23:52 +0200 Subject: [PATCH] Actually found an error in a test model! --- .../Main\342\202\254FischerA\303\2601\304\221.json" | 10 ++++++++++ .../Main\342\202\254FischerB\303\2602\304\221.json" | 10 ++++++++++ 2 files changed, 20 insertions(+) diff --git "a/test/verification/fischer-2/Main\342\202\254FischerA\303\2601\304\221.json" "b/test/verification/fischer-2/Main\342\202\254FischerA\303\2601\304\221.json" index 9f7f086c..24423c8f 100644 --- "a/test/verification/fischer-2/Main\342\202\254FischerA\303\2601\304\221.json" +++ "b/test/verification/fischer-2/Main\342\202\254FischerA\303\2601\304\221.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\342\202\254FischerB\303\2602\304\221.json" "b/test/verification/fischer-2/Main\342\202\254FischerB\303\2602\304\221.json" index 9dcb6b44..3eaabf2e 100644 --- "a/test/verification/fischer-2/Main\342\202\254FischerB\303\2602\304\221.json" +++ "b/test/verification/fischer-2/Main\342\202\254FischerB\303\2602\304\221.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",