formatting

runtimeverification · Jun 7, 2024 · 66eefda · 66eefda
1 parent 1fcf84f
commit 66eefda
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: