From 8e299595ecb10323a6817ccd81011f23b418d535 Mon Sep 17 00:00:00 2001 From: JianhongZhao Date: Mon, 2 Sep 2024 15:39:27 +0800 Subject: [PATCH] test pass --- pyk/src/tests/unit/test_kcfg.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pyk/src/tests/unit/test_kcfg.py b/pyk/src/tests/unit/test_kcfg.py index 3697cae53f..c139d72e86 100644 --- 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