more reasonable path_length for MergedEdge

runtimeverification · Aug 27, 2024 · 4c44997 · 4c44997
1 parent 9f54013
commit 4c44997
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
@@ -542,7 +542,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(