Skip to content

Commit

Permalink
fix test
Browse files Browse the repository at this point in the history
  • Loading branch information
Stevengre committed Sep 23, 2024
1 parent c3d249b commit 4f80e34
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions pyk/src/tests/unit/kcfg/merge_node_data.py
Original file line number Diff line number Diff line change
Expand Up @@ -255,12 +255,12 @@ def util_check_constraint(constraint: KInner, merged_var: KVariable, under_check


def check_merge_no(minimizer: KCFGMinimizer) -> None:
minimizer.minimize()
minimizer.minimize(merge=True)
assert minimizer.kcfg.to_dict() == merge_node_test_kcfg().to_dict()


def check_merged_one(minimizer: KCFGMinimizer) -> None:
minimizer.minimize()
minimizer.minimize(merge=True)
# 1 --> merged bi: Merged Edge
merged_edge = single(minimizer.kcfg.merged_edges(source_id=1))
edges = {2: 9, 3: 10, 16: 20, 17: 21, 18: 22, 19: 23, 6: 13, 7: 14, 8: 15}
Expand Down

0 comments on commit 4f80e34

Please sign in to comment.