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',