Merge branch 'extension' into dev

Author: RomanBoegli

.run/digest (iot.json).run.xml

@@ -15,7 +15,7 @@
     <option name="ADD_SOURCE_ROOTS" value="true" />
     <EXTENSION ID="PythonCoverageRunConfigurationExtension" runner="coverage.py" />
     <option name="SCRIPT_NAME" value="$PROJECT_DIR$/tlparser" />
-    <option name="PARAMETERS" value="digest ./data/iot.json" />
+    <option name="PARAMETERS" value="digest ./data/Edge_IoT/iot.json" />
     <option name="SHOW_COMMAND_LINE" value="false" />
     <option name="EMULATE_TERMINAL" value="false" />
     <option name="MODULE_MODE" value="false" />

data/Edge_IoT/Dataset.xlsx

@@ -1,6 +1,9 @@
 class TestCaseData:
     __test__ = False
-    def __init__(self, f_code='', asth='', aps=0, cops=0, lops=0, tops=0, entropy_lops_tops=None):
+
+    def __init__(
+        self, f_code="", asth="", aps=0, cops=0, lops=0, tops=0, entropy_lops_tops=None
+    ):
         self.f_code = f_code
         self.asth = asth
         self.aps = aps
@@ -15,8 +18,8 @@ class TestCaseDataExt(TestCaseData):
 
     def __init__(
         self,
-        f_code: str = '',
-        asth: int | str = '',
+        f_code: str = "",
+        asth: int | str = "",
         aps: int = 0,
         cops: int = 0,
         lops: int = 0,
@@ -28,12 +31,16 @@ def __init__(
         manna_pnueli_class=None,
         tgba_state_count=None,
         tgba_transition_count=None,
+        tgba_edge_count=None,
         tgba_is_complete=None,
         tgba_is_deterministic=None,
         tgba_acceptance_sets=None,
         tgba_is_stutter_invariant=None,
+        tgba_syntactic_future_hierarchy=None,
+        tgba_safety_liveness_class=None,
         buchi_state_count=None,
         buchi_transition_count=None,
+        buchi_edge_count=None,
         buchi_is_complete=None,
         buchi_is_deterministic=None,
         buchi_acceptance_sets=None,
@@ -43,6 +50,7 @@ def __init__(
         manna_pnueli_class_contains=None,
         det_state_count=None,
         det_transition_count=None,
+        det_edge_count=None,
         det_is_complete=None,
         det_is_deterministic=None,
         det_acceptance_sets=None,
@@ -62,12 +70,16 @@ def __init__(
         self.manna_pnueli_class = manna_pnueli_class
         self.tgba_state_count = tgba_state_count
         self.tgba_transition_count = tgba_transition_count
+        self.tgba_edge_count = tgba_edge_count
         self.tgba_is_complete = tgba_is_complete
         self.tgba_is_deterministic = tgba_is_deterministic
         self.tgba_acceptance_sets = tgba_acceptance_sets
         self.tgba_is_stutter_invariant = tgba_is_stutter_invariant
+        self.tgba_syntactic_future_hierarchy = tgba_syntactic_future_hierarchy
+        self.tgba_safety_liveness_class = tgba_safety_liveness_class
         self.buchi_state_count = buchi_state_count
         self.buchi_transition_count = buchi_transition_count
+        self.buchi_edge_count = buchi_edge_count
         self.buchi_is_complete = buchi_is_complete
         self.buchi_is_deterministic = buchi_is_deterministic
         self.buchi_acceptance_sets = buchi_acceptance_sets
@@ -77,6 +89,7 @@ def __init__(
         self.manna_pnueli_class_contains = manna_pnueli_class_contains
         self.det_state_count = det_state_count
         self.det_transition_count = det_transition_count
+        self.det_edge_count = det_edge_count
         self.det_is_complete = det_is_complete
         self.det_is_deterministic = det_is_deterministic
         self.det_acceptance_sets = det_acceptance_sets