From 66eefda9b1cdc3f12ff35d6279699d957870c1b9 Mon Sep 17 00:00:00 2001 From: Petar Maksimovic Date: Fri, 7 Jun 2024 16:03:06 +0100 Subject: [PATCH] formatting --- kevm-pyk/src/kevm_pyk/kevm.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kevm-pyk/src/kevm_pyk/kevm.py b/kevm-pyk/src/kevm_pyk/kevm.py index 1c8b2ad0f2..9cb2791050 100644 --- a/kevm-pyk/src/kevm_pyk/kevm.py +++ b/kevm-pyk/src/kevm_pyk/kevm.py @@ -172,7 +172,7 @@ def custom_step(self, cterm: CTerm) -> KCFGExtendResult | None: def cut_point_rules( break_on_jumpi: bool, break_on_calls: bool, break_on_storage: bool, break_on_basic_blocks: bool ) -> list[str]: - cut_point_rules = []#['EVM.program.load'] + cut_point_rules = [] # ['EVM.program.load'] if break_on_jumpi: cut_point_rules.extend(['EVM.jumpi.true', 'EVM.jumpi.false']) if break_on_basic_blocks: