We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0f07bcd commit 9328c35Copy full SHA for 9328c35
1 file changed
kevm-pyk/src/kevm_pyk/kevm.py
@@ -205,8 +205,10 @@ def cut_point_rules(
205
'EVM.callcode',
206
'EVM.delegatecall',
207
'EVM.staticcall',
208
- 'EVM.create',
209
- 'EVM.create2',
+ 'EVM.create-valid',
+ 'EVM.create-invalid',
210
+ 'EVM.create2-valid',
211
+ 'EVM.create2-invalid',
212
'EVM.end',
213
'EVM.return.exception',
214
'EVM.return.revert',
0 commit comments