From b8ec5e3d469df5ae276efe252d6b5281eb0cd120 Mon Sep 17 00:00:00 2001
From: Andrei <16517508+anvacaru@users.noreply.github.com>
Date: Fri, 1 Aug 2025 10:56:40 +0300
Subject: [PATCH] fix create rule labels

---
 kevm-pyk/src/kevm_pyk/kevm.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/kevm-pyk/src/kevm_pyk/kevm.py b/kevm-pyk/src/kevm_pyk/kevm.py
index 4ba473e888..b1892d2d93 100644
--- a/kevm-pyk/src/kevm_pyk/kevm.py
+++ b/kevm-pyk/src/kevm_pyk/kevm.py
@@ -205,8 +205,10 @@ def cut_point_rules(
                     'EVM.callcode',
                     'EVM.delegatecall',
                     'EVM.staticcall',
-                    'EVM.create',
-                    'EVM.create2',
+                    'EVM.create-valid',
+                    'EVM.create-invalid',
+                    'EVM.create2-valid',
+                    'EVM.create2-invalid',
                     'EVM.end',
                     'EVM.return.exception',
                     'EVM.return.revert',