more reasonable path_length for MergedEdge

runtimeverification · Aug 23, 2024 · 63ff927 · 63ff927
1 parent fa847df
commit 63ff927
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/pyk/kcfg/kcfg.py b/pyk/src/pyk/kcfg/kcfg.py
@@ -541,7 +541,7 @@ def path_length(_path: Iterable[KCFG.Successor]) -> int:
         elif type(_path[0]) is KCFG.Edge:
             return _path[0].depth + KCFG.path_length(_path[1:])
         elif type(_path[0]) is KCFG.MergedEdge:
-            return sum(edge.depth for edge in _path[0].edges) + KCFG.path_length(_path[1:])  # todo: check this
+            return min(edge.depth for edge in _path[0].edges) + KCFG.path_length(_path[1:])  # todo: check this
         raise ValueError(f'Cannot handle Successor type: {type(_path[0])}')
 
     def extend(