test pass

runtimeverification · Sep 2, 2024 · 310f500 · 310f500
1 parent 50964dd
commit 310f500
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pyk/src/tests/unit/test_kcfg.py b/pyk/src/tests/unit/test_kcfg.py
@@ -911,5 +911,5 @@ def test_create_split_by_nodes(kcfg: KCFG, source_id: int, target_ids: Iterable[
     assert new_split
     assert new_split.source == kcfg.node(source_id)
     assert new_split.targets == tuple(kcfg.node(target_id) for target_id in target_ids)
-    # for target_id, csubst in new_split.splits.items():
-    #     assert csubst.apply(kcfg.node(source_id).cterm) == kcfg.node(target_id).cterm
+    for target_id, csubst in new_split.splits.items():
+        assert csubst.apply(kcfg.node(source_id).cterm) == kcfg.node(target_id).cterm