From 7b0f60a1bdfa1d3acfe8b8202627bbcacb7c3a55 Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Thu, 4 Dec 2025 08:04:21 +0200 Subject: [PATCH 1/8] refactor exception handling in python --- kevm-pyk/src/kevm_pyk/gst_to_kore.py | 1 + .../kevm_pyk/kproj/evm-semantics/driver.md | 20 +------ kevm-pyk/src/tests/utils.py | 55 ++++++++++++++++--- 3 files changed, 49 insertions(+), 27 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/gst_to_kore.py b/kevm-pyk/src/kevm_pyk/gst_to_kore.py index 5e85aac9a3..71576d53e6 100644 --- a/kevm-pyk/src/kevm_pyk/gst_to_kore.py +++ b/kevm-pyk/src/kevm_pyk/gst_to_kore.py @@ -37,6 +37,7 @@ 'transactionSequence', 'chainname', 'lastblockhash', + 'expectException', 'hasBigInt', 'config', ] diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md index ab3c898e2e..ed0191cb8c 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md @@ -371,15 +371,6 @@ Processing SetCode Transaction Authority Entries rule _:ExceptionalStatusCode #halt ~> exception => .K ... - rule _:ExceptionalStatusCode - exception ~> check _ => exception ... - - rule _:ExceptionalStatusCode - exception ~> run TEST => run TEST ~> exception ... - - rule _:ExceptionalStatusCode - exception ~> clear => clear ... - syntax EthereumCommand ::= "failure" String | "success" // ------------------------------------------------------- rule success => .K ... @@ -440,15 +431,6 @@ Note that `TEST` is sorted here so that key `"network"` comes before key `"pre"` syntax EthereumCommand ::= "process" JSON // ----------------------------------------- - rule process TESTID : { "expectException" : _ , REST } => exception ~> process TESTID : { REST } ... - - rule exception ~> process _TESTID : { "rlp_decoded" : { KEY : VAL , REST1 => REST1 }, (REST2 => KEY : VAL , REST2 ) } ... - rule exception ~> process _TESTID : { "rlp_decoded" : { .JSONs } , REST => REST} ... - - rule exception ~> process TESTID : { KEY : VAL , REST } => load KEY : VAL ~> exception ~> process TESTID : { REST } ... requires KEY in #loadKeys - rule exception ~> process TESTID : { KEY : VAL , REST } => exception ~> process TESTID : { REST } ~> check TESTID : {KEY : VAL} ... requires KEY in #checkKeys - rule exception ~> process _TESTID : { .JSONs } => #startBlock ~> startTx ~> exception ... - rule process _TESTID : { "rlp_decoded" : { KEY : VAL , REST1 => REST1 }, (REST2 => KEY : VAL , REST2 ) } ... rule process _TESTID : { "rlp_decoded" : { .JSONs } , REST => REST} ... @@ -484,7 +466,7 @@ Note that `TEST` is sorted here so that key `"network"` comes before key `"pre"` syntax Set ::= "#postKeys" [function] | "#allPostKeys" [function] | "#checkKeys" [function] // ------------------------------------------------------------------------------------------- rule #postKeys => ( SetItem("post") SetItem("postState") SetItem("postStateHash") ) - rule #allPostKeys => ( #postKeys SetItem("expect") SetItem("export") SetItem("expet") ) + rule #allPostKeys => ( #postKeys SetItem("expect") SetItem("export") ) rule #checkKeys => ( #allPostKeys SetItem("logs") SetItem("out") SetItem("gas") SetItem("blockHeader") SetItem("transactions") SetItem("uncleHeaders") SetItem("genesisBlockHeader") SetItem("withdrawals") SetItem("blocknumber") diff --git a/kevm-pyk/src/tests/utils.py b/kevm-pyk/src/tests/utils.py index 2602a18a1e..5ebf6a22e4 100644 --- a/kevm-pyk/src/tests/utils.py +++ b/kevm-pyk/src/tests/utils.py @@ -5,11 +5,11 @@ import logging from pathlib import Path from typing import TYPE_CHECKING - +import sys import pytest -from pyk.kdist import kdist +from pyk.kdist._kdist import kdist from pyk.kore.prelude import int_dv -from pyk.kore.syntax import App +from pyk.kore.syntax import App, SortApp from pyk.kore.tools import PrintOutput, kore_print from kevm_pyk.interpreter import interpret @@ -26,23 +26,41 @@ REPO_ROOT: Final = Path(__file__).parents[3].resolve(strict=True) GOLDEN: Final = (REPO_ROOT / 'tests/templates/output-success-llvm.json').read_text().rstrip() +sys.setrecursionlimit(15000000) -def _assert_exit_code_zero(pattern: Pattern) -> None: +def _assert_exit_code_zero(pattern: Pattern, exception_expected: bool = False) -> None: assert type(pattern) is App kevm_cell = pattern.args[0] assert type(kevm_cell) is App exit_code_cell = kevm_cell.args[1] assert type(exit_code_cell) is App + print(exception_expected) exit_code = exit_code_cell.args[0] if exit_code == int_dv(0): return + elif exception_expected: + status_code_sort = _fetch_status_code_cell(kevm_cell).args[0] + assert type(status_code_sort) is App + if status_code_sort.sorts[0] == SortApp('SortExceptionalStatusCode'): + return pretty = kore_print(pattern, definition_dir=kdist.get('evm-semantics.llvm'), output=PrintOutput.PRETTY) assert pretty == GOLDEN +def _fetch_status_code_cell(kevm_cell: App) -> App: + # is nested under + ethereum_cell = kevm_cell.args[5] + assert type(ethereum_cell) is App + evm_cell = ethereum_cell.args[0] + assert type(evm_cell) is App + status_code_cell = evm_cell.args[1] + assert type(status_code_cell) is App + return status_code_cell + + def _skipped_tests(test_dir: Path, slow_tests_file: Path, failing_tests_file: Path) -> dict[Path, list[str]]: try: slow_tests = read_csv_file(slow_tests_file) @@ -63,6 +81,17 @@ def read_csv_file(csv_file: Path) -> tuple[tuple[Path, str], ...]: return tuple((Path(row[0]), row[1]) for row in reader) +def has_exception(test_data: dict) -> tuple[bool, bool]: + exception_expected = False + has_big_int = False + for block in test_data.get('blocks', []): + exception_expected = exception_expected or 'expectException' in block + has_big_int = has_big_int or 'hasBigInt' in block + if exception_expected and has_big_int: + break + return (exception_expected, has_big_int) + + def _test( gst_file: Path, *, @@ -82,18 +111,28 @@ def _test( failing_tests: list[str] = [] gst_file_relative_path: Final[str] = str(gst_file.relative_to(test_dir)) + chain_id = compute_chain_id(gst_file_relative_path) + with gst_file.open() as f: gst_data = json.load(f) for test_name, test in gst_data.items(): - _LOGGER.info(f'Running test: {gst_file} - {test_name}') if test_name in skipped_gst_tests: continue - chain_id = compute_chain_id(gst_file_relative_path) - res = interpret({test_name: test}, schedule, mode, chain_id, usegas, check=False) + _LOGGER.info(f'Running test: {gst_file} - {test_name}') + + (exception_expected, has_big_int) = has_exception(test) + try: + res = interpret({test_name: test}, schedule, mode, chain_id, usegas, check=False) + except RuntimeError: + if has_big_int: + continue + else: + failing_tests.append(test_name) + raise try: - _assert_exit_code_zero(res) + _assert_exit_code_zero(res, exception_expected) except AssertionError: if not save_failing: raise From 15ffec536f95fcb4524638939b6bb18ca590e6a4 Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Thu, 4 Dec 2025 08:04:29 +0200 Subject: [PATCH 2/8] update failing test list --- tests/execution-spec-tests/failing.llvm | 140 +++++++++++------------- tests/failing.llvm | 3 - 2 files changed, 64 insertions(+), 79 deletions(-) diff --git a/tests/execution-spec-tests/failing.llvm b/tests/execution-spec-tests/failing.llvm index 80ad8df6dc..bfe8c4ebec 100644 --- a/tests/execution-spec-tests/failing.llvm +++ b/tests/execution-spec-tests/failing.llvm @@ -1,3 +1,15 @@ +blockchain_tests/cancun/eip4788_beacon_root/beacon_root_contract/beacon_root_transition.json,* +blockchain_tests/cancun/eip4844_blobs/blob_txs/blob_type_tx_pre_fork.json,tests/cancun/eip4844_blobs/test_blob_txs.py::test_blob_type_tx_pre_fork[fork_ShanghaiToCancunAtTime15k-blockchain_test_from_state_test-one_blob_tx] +blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_at_blob_genesis.json,* +blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_post_blob_genesis.json,* +blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_blob_gas_used_in_header.json,* +blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_before_fork.json,* +blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_during_fork.json,* +blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* +blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_multi_tx.json,* +blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_two_different_transactions.json,* +blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_before_fork.json,* +blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_during_fork.json,* blockchain_tests_engine/berlin/eip2930_access_list/acl/access_list.json,* blockchain_tests_engine/byzantium/eip198_modexp_precompile/modexp/modexp.json,* blockchain_tests_engine/cancun/eip1153_tstore/basic_tload/basic_tload_after_store.json,* @@ -11,10 +23,10 @@ blockchain_tests_engine/cancun/eip1153_tstore/tstorage_clear_after_tx/tstore_cle blockchain_tests_engine/cancun/eip1153_tstore/tstorage_clear_after_tx/tstore_clear_after_tx.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage_create_contexts/contract_creation.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage_execution_contexts/subcall.json,* -blockchain_tests_engine/cancun/eip1153_tstore/tstorage_reentrancy_contexts/reentrant_call.json,* -blockchain_tests_engine/cancun/eip1153_tstore/tstorage_selfdestruct/reentrant_selfdestructing_call.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage/gas_usage.json,* +blockchain_tests_engine/cancun/eip1153_tstore/tstorage_reentrancy_contexts/reentrant_call.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage/run_until_out_of_gas.json,* +blockchain_tests_engine/cancun/eip1153_tstore/tstorage_selfdestruct/reentrant_selfdestructing_call.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage/tload_after_sstore.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage/tload_after_tstore_is_zero.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage/tload_after_tstore.json,* @@ -31,13 +43,18 @@ blockchain_tests_engine/cancun/eip4788_beacon_root/beacon_root_contract/invalid_ blockchain_tests_engine/cancun/eip4788_beacon_root/beacon_root_contract/multi_block_beacon_root_timestamp_calls.json,* blockchain_tests_engine/cancun/eip4788_beacon_root/beacon_root_contract/no_beacon_root_contract_at_transition.json,* blockchain_tests_engine/cancun/eip4788_beacon_root/beacon_root_contract/tx_to_beacon_root_contract.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blob_txs_full/reject_valid_full_blob_in_block_rlp.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_gas_cost.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_invalid_blob_index.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_multiple_txs_in_block.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_gas_subtraction_tx.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_calldata_opcodes.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_gasprice_opcode.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_opcodes.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_value_opcode.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_type_tx_pre_fork.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blob_txs_full/reject_valid_full_blob_in_block_rlp.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/insufficient_balance_blob_tx_combinations.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/insufficient_balance_blob_tx.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_blob_hash_versioning_multiple_txs.json,* @@ -47,21 +64,16 @@ blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_block_blob_count.j blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_normal_gas.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_tx_blob_count.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_tx_max_fee_per_blob_gas.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/sufficient_balance_blob_tx_pre_fund_tx.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/sufficient_balance_blob_tx.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/sufficient_balance_blob_tx_pre_fund_tx.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_gas_cost.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_invalid_blob_index.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_multiple_txs_in_block.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,* +blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,* +blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,* +blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_increasing_blob_gas_costs.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_at_blob_genesis.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_post_blob_genesis.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_post_fork_block_without_blob_fields.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_pre_fork_block_with_blob_fields.json,* -blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,* -blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,* -blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_increasing_blob_gas_costs.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_blob_gas_used_in_header.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_above_target_change.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_change.json,* @@ -71,9 +83,9 @@ blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multipl blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_zero_excess_blob_gas_in_header.json,* -blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile_gas/point_evaluation_precompile_gas_usage.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/call_opcode_types.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/external_vectors.json,* +blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile_gas/point_evaluation_precompile_gas_usage.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/invalid_inputs.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/precompile_before_fork.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/precompile_during_fork.json,* @@ -81,24 +93,24 @@ blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/tx_entr blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/valid_inputs.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy_contexts/no_memory_corruption_on_upper_call_stack_levels.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy_contexts/no_memory_corruption_on_upper_create_stack_levels.json,* +blockchain_tests_engine/cancun/eip5656_mcopy/mcopy/mcopy_on_empty_memory.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy_memory_expansion/mcopy_huge_memory_expansion.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy_memory_expansion/mcopy_memory_expansion.json,* -blockchain_tests_engine/cancun/eip5656_mcopy/mcopy/mcopy_on_empty_memory.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy/valid_mcopy_operations.json,* +blockchain_tests_engine/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_multi_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_two_different_transactions.json,* -blockchain_tests_engine/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/reentrancy_selfdestruct_revert/reentrancy_selfdestruct_revert.json,* -blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_created_in_same_tx_with_revert.json,* -blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_not_created_in_same_tx_with_revert.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/calling_from_new_contract_to_pre_existing_contract.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/calling_from_pre_existing_contract_to_new_contract.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/create_selfdestruct_same_tx_increased_nonce.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/create_selfdestruct_same_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/recreate_self_destructed_contract_different_txs.json,* +blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_created_in_same_tx_with_revert.json,* +blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_not_created_in_same_tx_with_revert.json,* +blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/selfdestruct_created_same_block_different_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/self_destructing_initcode_create_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/self_destructing_initcode.json,* -blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/selfdestruct_created_same_block_different_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/selfdestruct_pre_existing.json,* blockchain_tests_engine/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_before_fork.json,* blockchain_tests_engine/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_during_fork.json,* @@ -118,11 +130,11 @@ blockchain_tests_engine/frontier/precompiles/precompiles/precompiles.json,* blockchain_tests_engine/homestead/coverage/coverage/coverage.json,* blockchain_tests_engine/homestead/yul/yul_example/yul.json,* blockchain_tests_engine/istanbul/eip1344_chainid/chainid/chainid.json,* -blockchain_tests_engine/istanbul/eip152_blake2/blake2_delegatecall/blake2_precompile_delegatecall.json,* blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b_gas_limit.json,* blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b_invalid_gas.json,* -blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b_large_gas_limit.json,* blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b.json,* +blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b_large_gas_limit.json,* +blockchain_tests_engine/istanbul/eip152_blake2/blake2_delegatecall/blake2_precompile_delegatecall.json,* blockchain_tests_engine/paris/security/selfdestruct_balance_bug/tx_selfdestruct_balance_bug.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g1add/call_types.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g1add/gas.json,* @@ -146,14 +158,14 @@ blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/call_t blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/gas.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/invalid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/valid.json,* -blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/call_types.json,* -blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/gas.json,* -blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/invalid.json,* -blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/valid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/call_types.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/gas.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/invalid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/valid.json,* +blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/call_types.json,* +blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/gas.json,* +blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/invalid.json,* +blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/valid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_pairing/call_types.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_pairing/invalid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_pairing/multi_pair_invalid_inf.json,* @@ -170,21 +182,20 @@ blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_variable_len blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_variable_length_input_contracts/valid_gas_pairing.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_call_opcodes.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history_at_transition.json,* -blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/invalid_history_contract_calls_input_size.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/invalid_history_contract_calls.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/contract_deployment/system_contract_deployment.json,* -blockchain_tests_engine/prague/eip6110_deposits/deposits/deposit_negative.json,* blockchain_tests_engine/prague/eip6110_deposits/deposits/deposit.json,* +blockchain_tests_engine/prague/eip6110_deposits/deposits/deposit_negative.json,* blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/contract_deployment/system_contract_deployment.json,* -blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/modified_withdrawal_contract/extra_withdrawals_pseudo_contract.json,* blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/modified_withdrawal_contract/extra_withdrawals.json,* +blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/modified_withdrawal_contract/extra_withdrawals_pseudo_contract.json,* blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests_during_fork/withdrawal_requests_during_fork.json,* -blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests_negative.json,* blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests.json,* -blockchain_tests_engine/prague/eip7251_consolidations/consolidations_during_fork/consolidation_requests_during_fork.json,* -blockchain_tests_engine/prague/eip7251_consolidations/consolidations/consolidation_requests_negative.json,* +blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests_negative.json,* blockchain_tests_engine/prague/eip7251_consolidations/consolidations/consolidation_requests.json,* +blockchain_tests_engine/prague/eip7251_consolidations/consolidations/consolidation_requests_negative.json,* +blockchain_tests_engine/prague/eip7251_consolidations/consolidations_during_fork/consolidation_requests_during_fork.json,* blockchain_tests_engine/prague/eip7251_consolidations/contract_deployment/system_contract_deployment.json,* blockchain_tests_engine/prague/eip7623_increase_calldata_cost/execution_gas/full_gas_consumption.json,* blockchain_tests_engine/prague/eip7623_increase_calldata_cost/execution_gas/gas_consumption_below_data_floor.json,* @@ -199,8 +210,6 @@ blockchain_tests_engine/prague/eip7685_general_purpose_el_requests/multi_type_re blockchain_tests_engine/prague/eip7685_general_purpose_el_requests/multi_type_requests/valid_deposit_withdrawal_consolidation_requests.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/gas/account_warming.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/gas/call_to_pre_authorized_oog.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/gas/gas_cost.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/gas/intrinsic_gas_cost.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/gas/self_set_code_cost.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/call_pointer_to_created_from_create_after_oog_call_again.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/call_to_precompile_in_pointer_context.json,* @@ -217,8 +226,8 @@ blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_resets blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_reverts.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_pointer.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_precompile.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static_reentry.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static_reentry.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/static_to_pointer.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/address_from_set_code.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/authorization_reusing_nonce.json,* @@ -228,8 +237,8 @@ blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/contract_create. blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/creating_delegation_designation_contract.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_and_set.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_failing_tx.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_tx_to.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_tx_to.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/deploying_delegation_designation_contract.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/empty_authorization_list.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/eoa_tx_after_set_code.json,* @@ -238,7 +247,6 @@ blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_self blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_self_set_code.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_set_code.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/invalid_transaction_after_authorization.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/many_delegations.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/nonce_overflow_after_first_authorization.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/nonce_validity.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/reset_code.json,* @@ -252,18 +260,18 @@ blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_from_ac blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_max_depth_call_stack.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_first_valid_authorization_tuples_same_signer.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_first_invalid_same_signer.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce_self_sponsored.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce_self_sponsored.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_account_deployed_in_same_tx.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_contract_creator.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_log.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_non_empty_storage_non_zero_nonce.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_precompile.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_caller.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destruct.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destructing_account_deployed_in_same_tx.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_sstore_then_sload.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destruct.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_sstore.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_sstore_then_sload.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_system_contract.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_tstore_available_at_correct_address.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_tstore_reentry.json,* @@ -294,36 +302,19 @@ blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/use_value_in_co blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/use_value_in_tx.json,* blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/withdrawing_to_precompiles.json,* blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/zero_amount.json,* -blockchain_tests/cancun/eip4788_beacon_root/beacon_root_contract/beacon_root_transition.json,* -blockchain_tests/cancun/eip4844_blobs/blob_txs_full/reject_valid_full_blob_in_block_rlp.json,* -blockchain_tests/cancun/eip4844_blobs/blob_txs/blob_type_tx_pre_fork.json,tests/cancun/eip4844_blobs/test_blob_txs.py::test_blob_type_tx_pre_fork[fork_ShanghaiToCancunAtTime15k-blockchain_test_from_state_test-one_blob_tx] -blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_at_blob_genesis.json,* -blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_post_blob_genesis.json,* -blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_post_fork_block_without_blob_fields.json,* -blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_pre_fork_block_with_blob_fields.json,* -blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_blob_gas_used_in_header.json,* -blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_before_fork.json,* -blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_during_fork.json,* -blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_multi_tx.json,* -blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_two_different_transactions.json,* -blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* -blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_before_fork.json,* -blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_during_fork.json,* blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_precompiles_before_fork/precompile_before_fork.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history_at_transition.json,* -blockchain_tests/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/contract_deployment/system_contract_deployment.json,tests/prague/eip2935_historical_block_hashes_from_state/test_contract_deployment.py::test_system_contract_deployment[fork_CancunToPragueAtTime15k-blockchain_test-deploy_after_fork-nonzero_balance] blockchain_tests/prague/eip2935_historical_block_hashes_from_state/contract_deployment/system_contract_deployment.json,tests/prague/eip2935_historical_block_hashes_from_state/test_contract_deployment.py::test_system_contract_deployment[fork_CancunToPragueAtTime15k-blockchain_test-deploy_before_fork-nonzero_balance] blockchain_tests/prague/eip7002_el_triggerable_withdrawals/contract_deployment/system_contract_deployment.json,* blockchain_tests/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests_during_fork/withdrawal_requests_during_fork.json,* blockchain_tests/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests.json,tests/prague/eip7002_el_triggerable_withdrawals/test_withdrawal_requests.py::test_withdrawal_requests[fork_Prague-blockchain_test-multiple_block_fee_increments] blockchain_tests/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests.json,tests/prague/eip7002_el_triggerable_withdrawals/test_withdrawal_requests.py::test_withdrawal_requests[fork_Prague-blockchain_test-single_block_multiple_withdrawal_request_last_oog] -blockchain_tests/prague/eip7251_consolidations/consolidations_during_fork/consolidation_requests_during_fork.json,* blockchain_tests/prague/eip7251_consolidations/consolidations/consolidation_requests.json,tests/prague/eip7251_consolidations/test_consolidations.py::test_consolidation_requests[fork_Prague-blockchain_test-multiple_block_fee_increments] blockchain_tests/prague/eip7251_consolidations/consolidations/consolidation_requests.json,tests/prague/eip7251_consolidations/test_consolidations.py::test_consolidation_requests[fork_Prague-blockchain_test-single_block_multiple_consolidation_request_last_oog] +blockchain_tests/prague/eip7251_consolidations/consolidations_during_fork/consolidation_requests_during_fork.json,* blockchain_tests/prague/eip7251_consolidations/contract_deployment/system_contract_deployment.json,* blockchain_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_from_account_with_non_delegating_code.json,* -blockchain_tests/prague/eip7702_set_code_tx/set_code_txs/valid_tx_invalid_auth_signature.json,* state_tests/berlin/eip2930_access_list/acl/access_list.json,* state_tests/byzantium/eip198_modexp_precompile/modexp/modexp.json,* state_tests/cancun/eip1153_tstore/basic_tload/basic_tload_after_store.json,* @@ -335,15 +326,16 @@ state_tests/cancun/eip1153_tstore/tload_calls/tload_calls.json,* state_tests/cancun/eip1153_tstore/tload_reentrancy/tload_reentrancy.json,* state_tests/cancun/eip1153_tstore/tstorage_create_contexts/contract_creation.json,* state_tests/cancun/eip1153_tstore/tstorage_execution_contexts/subcall.json,* -state_tests/cancun/eip1153_tstore/tstorage_reentrancy_contexts/reentrant_call.json,* -state_tests/cancun/eip1153_tstore/tstorage_selfdestruct/reentrant_selfdestructing_call.json,* state_tests/cancun/eip1153_tstore/tstorage/gas_usage.json,* +state_tests/cancun/eip1153_tstore/tstorage_reentrancy_contexts/reentrant_call.json,* state_tests/cancun/eip1153_tstore/tstorage/run_until_out_of_gas.json,* +state_tests/cancun/eip1153_tstore/tstorage_selfdestruct/reentrant_selfdestructing_call.json,* state_tests/cancun/eip1153_tstore/tstorage/tload_after_sstore.json,* state_tests/cancun/eip1153_tstore/tstorage/tload_after_tstore_is_zero.json,* state_tests/cancun/eip1153_tstore/tstorage/tload_after_tstore.json,* state_tests/cancun/eip1153_tstore/tstorage/transient_storage_unset_values.json,* state_tests/cancun/eip1153_tstore/tstore_reentrancy/tstore_reentrancy.json,* +state_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_gas_cost.json,* state_tests/cancun/eip4844_blobs/blob_txs/blob_gas_subtraction_tx.json,* state_tests/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_calldata_opcodes.json,* state_tests/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_gasprice_opcode.json,* @@ -356,28 +348,27 @@ state_tests/cancun/eip4844_blobs/blob_txs/invalid_normal_gas.json,* state_tests/cancun/eip4844_blobs/blob_txs/invalid_tx_blob_count.json,* state_tests/cancun/eip4844_blobs/blob_txs/invalid_tx_max_fee_per_blob_gas_state.json,* state_tests/cancun/eip4844_blobs/blob_txs/sufficient_balance_blob_tx.json,* -state_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_gas_cost.json,* -state_tests/cancun/eip4844_blobs/point_evaluation_precompile_gas/point_evaluation_precompile_gas_usage.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/call_opcode_types.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/external_vectors.json,* +state_tests/cancun/eip4844_blobs/point_evaluation_precompile_gas/point_evaluation_precompile_gas_usage.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/invalid_inputs.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_before_fork.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/tx_entry_point.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/valid_inputs.json,* state_tests/cancun/eip5656_mcopy/mcopy_contexts/no_memory_corruption_on_upper_call_stack_levels.json,* state_tests/cancun/eip5656_mcopy/mcopy_contexts/no_memory_corruption_on_upper_create_stack_levels.json,* +state_tests/cancun/eip5656_mcopy/mcopy/mcopy_on_empty_memory.json,* state_tests/cancun/eip5656_mcopy/mcopy_memory_expansion/mcopy_huge_memory_expansion.json,* state_tests/cancun/eip5656_mcopy/mcopy_memory_expansion/mcopy_memory_expansion.json,* -state_tests/cancun/eip5656_mcopy/mcopy/mcopy_on_empty_memory.json,* state_tests/cancun/eip5656_mcopy/mcopy/valid_mcopy_operations.json,* state_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* state_tests/cancun/eip6780_selfdestruct/reentrancy_selfdestruct_revert/reentrancy_selfdestruct_revert.json,* -state_tests/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_created_in_same_tx_with_revert.json,* -state_tests/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_not_created_in_same_tx_with_revert.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/calling_from_new_contract_to_pre_existing_contract.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/calling_from_pre_existing_contract_to_new_contract.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/create_selfdestruct_same_tx_increased_nonce.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/create_selfdestruct_same_tx.json,* +state_tests/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_created_in_same_tx_with_revert.json,* +state_tests/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_not_created_in_same_tx_with_revert.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/self_destructing_initcode_create_tx.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/self_destructing_initcode.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/selfdestruct_pre_existing.json,* @@ -397,11 +388,11 @@ state_tests/frontier/precompiles/precompiles/precompiles.json,* state_tests/homestead/coverage/coverage/coverage.json,* state_tests/homestead/yul/yul_example/yul.json,* state_tests/istanbul/eip1344_chainid/chainid/chainid.json,* -state_tests/istanbul/eip152_blake2/blake2_delegatecall/blake2_precompile_delegatecall.json,* state_tests/istanbul/eip152_blake2/blake2/blake2b_gas_limit.json,* state_tests/istanbul/eip152_blake2/blake2/blake2b_invalid_gas.json,* -state_tests/istanbul/eip152_blake2/blake2/blake2b_large_gas_limit.json,* state_tests/istanbul/eip152_blake2/blake2/blake2b.json,* +state_tests/istanbul/eip152_blake2/blake2/blake2b_large_gas_limit.json,* +state_tests/istanbul/eip152_blake2/blake2_delegatecall/blake2_precompile_delegatecall.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/call_types.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/gas.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,* @@ -424,14 +415,14 @@ state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/call_types.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/gas.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/invalid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/valid.json,* -state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/call_types.json,* -state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/gas.json,* -state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/invalid.json,* -state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/valid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/call_types.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/gas.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/invalid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/valid.json,* +state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/call_types.json,* +state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/gas.json,* +state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/invalid.json,* +state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/valid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_pairing/call_types.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_pairing/invalid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_pairing/multi_pair_invalid_inf.json,* @@ -455,8 +446,6 @@ state_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transacti state_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_4.json,* state_tests/prague/eip7702_set_code_tx/gas/account_warming.json,* state_tests/prague/eip7702_set_code_tx/gas/call_to_pre_authorized_oog.json,* -state_tests/prague/eip7702_set_code_tx/gas/gas_cost.json,* -state_tests/prague/eip7702_set_code_tx/gas/intrinsic_gas_cost.json,* state_tests/prague/eip7702_set_code_tx/gas/self_set_code_cost.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/call_pointer_to_created_from_create_after_oog_call_again.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/call_to_precompile_in_pointer_context.json,* @@ -469,8 +458,8 @@ state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_reentry.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_reverts.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_pointer.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_precompile.json,* -state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static_reentry.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static.json,* +state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static_reentry.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/static_to_pointer.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/address_from_set_code.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/call_into_chain_delegating_set_code.json,* @@ -479,15 +468,14 @@ state_tests/prague/eip7702_set_code_tx/set_code_txs/contract_create.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/creating_delegation_designation_contract.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_and_set.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_failing_tx.json,* -state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_tx_to.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing.json,* +state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_tx_to.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/deploying_delegation_designation_contract.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/empty_authorization_list.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_chain_delegating_set_code.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_self_delegating_set_code.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_self_set_code.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_set_code.json,* -state_tests/prague/eip7702_set_code_tx/set_code_txs/many_delegations.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/nonce_overflow_after_first_authorization.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/nonce_validity.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/self_code_on_set_code.json,* @@ -500,16 +488,16 @@ state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_from_account_with_n state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_max_depth_call_stack.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_first_valid_authorization_tuples_same_signer.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_first_invalid_same_signer.json,* -state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce_self_sponsored.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce.json,* +state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce_self_sponsored.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_account_deployed_in_same_tx.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_contract_creator.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_log.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_non_empty_storage_non_zero_nonce.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_precompile.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_caller.json,* -state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destruct.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destructing_account_deployed_in_same_tx.json,* +state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destruct.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_sstore.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_tstore_available_at_correct_address.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_tstore_reentry.json,* diff --git a/tests/failing.llvm b/tests/failing.llvm index fdd390007e..f0eca8987b 100644 --- a/tests/failing.llvm +++ b/tests/failing.llvm @@ -2,11 +2,8 @@ BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4788_beacon_root/beacon_root BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blob_type_tx_pre_fork.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_blob_type_tx_pre_fork[fork_ShanghaiToCancunAtTime15k-blockchain_test-one_blob_tx] BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/fork_transition_excess_blob_gas.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_post_fork_block_without_blob_fields.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_pre_fork_block_with_blob_fields.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/precompile_before_fork.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/precompile_during_fork.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/reject_valid_full_blob_in_block_rlp.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/create_selfdestruct_same_tx.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/recreate_self_destructed_contract_different_txs.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/selfdestruct_created_same_block_different_tx.json,* From 6fb612033c62f448c0d3225b787376d45a42c443 Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Thu, 4 Dec 2025 08:05:39 +0200 Subject: [PATCH 3/8] sort failing.llvm --- tests/execution-spec-tests/failing.llvm | 128 ++++++++++++------------ 1 file changed, 64 insertions(+), 64 deletions(-) diff --git a/tests/execution-spec-tests/failing.llvm b/tests/execution-spec-tests/failing.llvm index bfe8c4ebec..801c7dbef7 100644 --- a/tests/execution-spec-tests/failing.llvm +++ b/tests/execution-spec-tests/failing.llvm @@ -1,15 +1,3 @@ -blockchain_tests/cancun/eip4788_beacon_root/beacon_root_contract/beacon_root_transition.json,* -blockchain_tests/cancun/eip4844_blobs/blob_txs/blob_type_tx_pre_fork.json,tests/cancun/eip4844_blobs/test_blob_txs.py::test_blob_type_tx_pre_fork[fork_ShanghaiToCancunAtTime15k-blockchain_test_from_state_test-one_blob_tx] -blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_at_blob_genesis.json,* -blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_post_blob_genesis.json,* -blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_blob_gas_used_in_header.json,* -blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_before_fork.json,* -blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_during_fork.json,* -blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* -blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_multi_tx.json,* -blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_two_different_transactions.json,* -blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_before_fork.json,* -blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_during_fork.json,* blockchain_tests_engine/berlin/eip2930_access_list/acl/access_list.json,* blockchain_tests_engine/byzantium/eip198_modexp_precompile/modexp/modexp.json,* blockchain_tests_engine/cancun/eip1153_tstore/basic_tload/basic_tload_after_store.json,* @@ -23,10 +11,10 @@ blockchain_tests_engine/cancun/eip1153_tstore/tstorage_clear_after_tx/tstore_cle blockchain_tests_engine/cancun/eip1153_tstore/tstorage_clear_after_tx/tstore_clear_after_tx.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage_create_contexts/contract_creation.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage_execution_contexts/subcall.json,* -blockchain_tests_engine/cancun/eip1153_tstore/tstorage/gas_usage.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage_reentrancy_contexts/reentrant_call.json,* -blockchain_tests_engine/cancun/eip1153_tstore/tstorage/run_until_out_of_gas.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage_selfdestruct/reentrant_selfdestructing_call.json,* +blockchain_tests_engine/cancun/eip1153_tstore/tstorage/gas_usage.json,* +blockchain_tests_engine/cancun/eip1153_tstore/tstorage/run_until_out_of_gas.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage/tload_after_sstore.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage/tload_after_tstore_is_zero.json,* blockchain_tests_engine/cancun/eip1153_tstore/tstorage/tload_after_tstore.json,* @@ -43,18 +31,13 @@ blockchain_tests_engine/cancun/eip4788_beacon_root/beacon_root_contract/invalid_ blockchain_tests_engine/cancun/eip4788_beacon_root/beacon_root_contract/multi_block_beacon_root_timestamp_calls.json,* blockchain_tests_engine/cancun/eip4788_beacon_root/beacon_root_contract/no_beacon_root_contract_at_transition.json,* blockchain_tests_engine/cancun/eip4788_beacon_root/beacon_root_contract/tx_to_beacon_root_contract.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_gas_cost.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_invalid_blob_index.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_multiple_txs_in_block.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blob_txs_full/reject_valid_full_blob_in_block_rlp.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_gas_subtraction_tx.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_calldata_opcodes.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_gasprice_opcode.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_opcodes.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_value_opcode.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/blob_type_tx_pre_fork.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blob_txs_full/reject_valid_full_blob_in_block_rlp.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/insufficient_balance_blob_tx_combinations.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/insufficient_balance_blob_tx.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_blob_hash_versioning_multiple_txs.json,* @@ -64,16 +47,21 @@ blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_block_blob_count.j blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_normal_gas.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_tx_blob_count.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/invalid_tx_max_fee_per_blob_gas.json,* -blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/sufficient_balance_blob_tx.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/sufficient_balance_blob_tx_pre_fund_tx.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/sufficient_balance_blob_tx.json,* blockchain_tests_engine/cancun/eip4844_blobs/blob_txs/valid_blob_tx_combinations.json,* -blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,* -blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,* -blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_increasing_blob_gas_costs.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode_contexts/blobhash_opcode_contexts.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_gas_cost.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_invalid_blob_index.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_multiple_txs_in_block.json,* +blockchain_tests_engine/cancun/eip4844_blobs/blobhash_opcode/blobhash_scenarios.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_at_blob_genesis.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_post_blob_genesis.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_post_fork_block_without_blob_fields.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_pre_fork_block_with_blob_fields.json,* +blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_decreasing_blob_gas_costs.json,* +blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_excess_blob_gas_calculation.json,* +blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/correct_increasing_blob_gas_costs.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_blob_gas_used_in_header.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_above_target_change.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_excess_blob_gas_change.json,* @@ -83,9 +71,9 @@ blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_non_multipl blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas_from_zero_on_blobs_above_target.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_static_excess_blob_gas.json,* blockchain_tests_engine/cancun/eip4844_blobs/excess_blob_gas/invalid_zero_excess_blob_gas_in_header.json,* +blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile_gas/point_evaluation_precompile_gas_usage.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/call_opcode_types.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/external_vectors.json,* -blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile_gas/point_evaluation_precompile_gas_usage.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/invalid_inputs.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/precompile_before_fork.json,* blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/precompile_during_fork.json,* @@ -93,24 +81,24 @@ blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/tx_entr blockchain_tests_engine/cancun/eip4844_blobs/point_evaluation_precompile/valid_inputs.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy_contexts/no_memory_corruption_on_upper_call_stack_levels.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy_contexts/no_memory_corruption_on_upper_create_stack_levels.json,* -blockchain_tests_engine/cancun/eip5656_mcopy/mcopy/mcopy_on_empty_memory.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy_memory_expansion/mcopy_huge_memory_expansion.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy_memory_expansion/mcopy_memory_expansion.json,* +blockchain_tests_engine/cancun/eip5656_mcopy/mcopy/mcopy_on_empty_memory.json,* blockchain_tests_engine/cancun/eip5656_mcopy/mcopy/valid_mcopy_operations.json,* -blockchain_tests_engine/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_multi_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_two_different_transactions.json,* +blockchain_tests_engine/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/reentrancy_selfdestruct_revert/reentrancy_selfdestruct_revert.json,* +blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_created_in_same_tx_with_revert.json,* +blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_not_created_in_same_tx_with_revert.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/calling_from_new_contract_to_pre_existing_contract.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/calling_from_pre_existing_contract_to_new_contract.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/create_selfdestruct_same_tx_increased_nonce.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/create_selfdestruct_same_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/recreate_self_destructed_contract_different_txs.json,* -blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_created_in_same_tx_with_revert.json,* -blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_not_created_in_same_tx_with_revert.json,* -blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/selfdestruct_created_same_block_different_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/self_destructing_initcode_create_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/self_destructing_initcode.json,* +blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/selfdestruct_created_same_block_different_tx.json,* blockchain_tests_engine/cancun/eip6780_selfdestruct/selfdestruct/selfdestruct_pre_existing.json,* blockchain_tests_engine/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_before_fork.json,* blockchain_tests_engine/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_during_fork.json,* @@ -130,11 +118,11 @@ blockchain_tests_engine/frontier/precompiles/precompiles/precompiles.json,* blockchain_tests_engine/homestead/coverage/coverage/coverage.json,* blockchain_tests_engine/homestead/yul/yul_example/yul.json,* blockchain_tests_engine/istanbul/eip1344_chainid/chainid/chainid.json,* +blockchain_tests_engine/istanbul/eip152_blake2/blake2_delegatecall/blake2_precompile_delegatecall.json,* blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b_gas_limit.json,* blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b_invalid_gas.json,* -blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b.json,* blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b_large_gas_limit.json,* -blockchain_tests_engine/istanbul/eip152_blake2/blake2_delegatecall/blake2_precompile_delegatecall.json,* +blockchain_tests_engine/istanbul/eip152_blake2/blake2/blake2b.json,* blockchain_tests_engine/paris/security/selfdestruct_balance_bug/tx_selfdestruct_balance_bug.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g1add/call_types.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g1add/gas.json,* @@ -158,14 +146,14 @@ blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/call_t blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/gas.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/invalid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/valid.json,* -blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/call_types.json,* -blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/gas.json,* -blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/invalid.json,* -blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/valid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/call_types.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/gas.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/invalid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/valid.json,* +blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/call_types.json,* +blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/gas.json,* +blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/invalid.json,* +blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/valid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_pairing/call_types.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_pairing/invalid.json,* blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_pairing/multi_pair_invalid_inf.json,* @@ -185,17 +173,17 @@ blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_ blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/invalid_history_contract_calls_input_size.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/invalid_history_contract_calls.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/contract_deployment/system_contract_deployment.json,* -blockchain_tests_engine/prague/eip6110_deposits/deposits/deposit.json,* blockchain_tests_engine/prague/eip6110_deposits/deposits/deposit_negative.json,* +blockchain_tests_engine/prague/eip6110_deposits/deposits/deposit.json,* blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/contract_deployment/system_contract_deployment.json,* -blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/modified_withdrawal_contract/extra_withdrawals.json,* blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/modified_withdrawal_contract/extra_withdrawals_pseudo_contract.json,* +blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/modified_withdrawal_contract/extra_withdrawals.json,* blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests_during_fork/withdrawal_requests_during_fork.json,* -blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests.json,* blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests_negative.json,* -blockchain_tests_engine/prague/eip7251_consolidations/consolidations/consolidation_requests.json,* -blockchain_tests_engine/prague/eip7251_consolidations/consolidations/consolidation_requests_negative.json,* +blockchain_tests_engine/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests.json,* blockchain_tests_engine/prague/eip7251_consolidations/consolidations_during_fork/consolidation_requests_during_fork.json,* +blockchain_tests_engine/prague/eip7251_consolidations/consolidations/consolidation_requests_negative.json,* +blockchain_tests_engine/prague/eip7251_consolidations/consolidations/consolidation_requests.json,* blockchain_tests_engine/prague/eip7251_consolidations/contract_deployment/system_contract_deployment.json,* blockchain_tests_engine/prague/eip7623_increase_calldata_cost/execution_gas/full_gas_consumption.json,* blockchain_tests_engine/prague/eip7623_increase_calldata_cost/execution_gas/gas_consumption_below_data_floor.json,* @@ -226,8 +214,8 @@ blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_resets blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_reverts.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_pointer.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_precompile.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static_reentry.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/static_to_pointer.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/address_from_set_code.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/authorization_reusing_nonce.json,* @@ -237,8 +225,8 @@ blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/contract_create. blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/creating_delegation_designation_contract.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_and_set.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_failing_tx.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_tx_to.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/deploying_delegation_designation_contract.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/empty_authorization_list.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/eoa_tx_after_set_code.json,* @@ -260,18 +248,18 @@ blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_from_ac blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_max_depth_call_stack.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_first_valid_authorization_tuples_same_signer.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_first_invalid_same_signer.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce_self_sponsored.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_account_deployed_in_same_tx.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_contract_creator.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_log.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_non_empty_storage_non_zero_nonce.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_precompile.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_caller.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destructing_account_deployed_in_same_tx.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destruct.json,* -blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_sstore.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destructing_account_deployed_in_same_tx.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_sstore_then_sload.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_sstore.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_system_contract.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_tstore_available_at_correct_address.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/set_code_to_tstore_reentry.json,* @@ -302,6 +290,18 @@ blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/use_value_in_co blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/use_value_in_tx.json,* blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/withdrawing_to_precompiles.json,* blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/zero_amount.json,* +blockchain_tests/cancun/eip4788_beacon_root/beacon_root_contract/beacon_root_transition.json,* +blockchain_tests/cancun/eip4844_blobs/blob_txs/blob_type_tx_pre_fork.json,tests/cancun/eip4844_blobs/test_blob_txs.py::test_blob_type_tx_pre_fork[fork_ShanghaiToCancunAtTime15k-blockchain_test_from_state_test-one_blob_tx] +blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_at_blob_genesis.json,* +blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_post_blob_genesis.json,* +blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_blob_gas_used_in_header.json,* +blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_before_fork.json,* +blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_during_fork.json,* +blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_multi_tx.json,* +blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision_two_different_transactions.json,* +blockchain_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* +blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_before_fork.json,* +blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_during_fork.json,* blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_precompiles_before_fork/precompile_before_fork.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history_at_transition.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/contract_deployment/system_contract_deployment.json,tests/prague/eip2935_historical_block_hashes_from_state/test_contract_deployment.py::test_system_contract_deployment[fork_CancunToPragueAtTime15k-blockchain_test-deploy_after_fork-nonzero_balance] @@ -310,9 +310,9 @@ blockchain_tests/prague/eip7002_el_triggerable_withdrawals/contract_deployment/s blockchain_tests/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests_during_fork/withdrawal_requests_during_fork.json,* blockchain_tests/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests.json,tests/prague/eip7002_el_triggerable_withdrawals/test_withdrawal_requests.py::test_withdrawal_requests[fork_Prague-blockchain_test-multiple_block_fee_increments] blockchain_tests/prague/eip7002_el_triggerable_withdrawals/withdrawal_requests/withdrawal_requests.json,tests/prague/eip7002_el_triggerable_withdrawals/test_withdrawal_requests.py::test_withdrawal_requests[fork_Prague-blockchain_test-single_block_multiple_withdrawal_request_last_oog] +blockchain_tests/prague/eip7251_consolidations/consolidations_during_fork/consolidation_requests_during_fork.json,* blockchain_tests/prague/eip7251_consolidations/consolidations/consolidation_requests.json,tests/prague/eip7251_consolidations/test_consolidations.py::test_consolidation_requests[fork_Prague-blockchain_test-multiple_block_fee_increments] blockchain_tests/prague/eip7251_consolidations/consolidations/consolidation_requests.json,tests/prague/eip7251_consolidations/test_consolidations.py::test_consolidation_requests[fork_Prague-blockchain_test-single_block_multiple_consolidation_request_last_oog] -blockchain_tests/prague/eip7251_consolidations/consolidations_during_fork/consolidation_requests_during_fork.json,* blockchain_tests/prague/eip7251_consolidations/contract_deployment/system_contract_deployment.json,* blockchain_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_from_account_with_non_delegating_code.json,* state_tests/berlin/eip2930_access_list/acl/access_list.json,* @@ -326,16 +326,15 @@ state_tests/cancun/eip1153_tstore/tload_calls/tload_calls.json,* state_tests/cancun/eip1153_tstore/tload_reentrancy/tload_reentrancy.json,* state_tests/cancun/eip1153_tstore/tstorage_create_contexts/contract_creation.json,* state_tests/cancun/eip1153_tstore/tstorage_execution_contexts/subcall.json,* -state_tests/cancun/eip1153_tstore/tstorage/gas_usage.json,* state_tests/cancun/eip1153_tstore/tstorage_reentrancy_contexts/reentrant_call.json,* -state_tests/cancun/eip1153_tstore/tstorage/run_until_out_of_gas.json,* state_tests/cancun/eip1153_tstore/tstorage_selfdestruct/reentrant_selfdestructing_call.json,* +state_tests/cancun/eip1153_tstore/tstorage/gas_usage.json,* +state_tests/cancun/eip1153_tstore/tstorage/run_until_out_of_gas.json,* state_tests/cancun/eip1153_tstore/tstorage/tload_after_sstore.json,* state_tests/cancun/eip1153_tstore/tstorage/tload_after_tstore_is_zero.json,* state_tests/cancun/eip1153_tstore/tstorage/tload_after_tstore.json,* state_tests/cancun/eip1153_tstore/tstorage/transient_storage_unset_values.json,* state_tests/cancun/eip1153_tstore/tstore_reentrancy/tstore_reentrancy.json,* -state_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_gas_cost.json,* state_tests/cancun/eip4844_blobs/blob_txs/blob_gas_subtraction_tx.json,* state_tests/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_calldata_opcodes.json,* state_tests/cancun/eip4844_blobs/blob_txs/blob_tx_attribute_gasprice_opcode.json,* @@ -348,27 +347,28 @@ state_tests/cancun/eip4844_blobs/blob_txs/invalid_normal_gas.json,* state_tests/cancun/eip4844_blobs/blob_txs/invalid_tx_blob_count.json,* state_tests/cancun/eip4844_blobs/blob_txs/invalid_tx_max_fee_per_blob_gas_state.json,* state_tests/cancun/eip4844_blobs/blob_txs/sufficient_balance_blob_tx.json,* +state_tests/cancun/eip4844_blobs/blobhash_opcode/blobhash_gas_cost.json,* +state_tests/cancun/eip4844_blobs/point_evaluation_precompile_gas/point_evaluation_precompile_gas_usage.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/call_opcode_types.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/external_vectors.json,* -state_tests/cancun/eip4844_blobs/point_evaluation_precompile_gas/point_evaluation_precompile_gas_usage.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/invalid_inputs.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_before_fork.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/tx_entry_point.json,* state_tests/cancun/eip4844_blobs/point_evaluation_precompile/valid_inputs.json,* state_tests/cancun/eip5656_mcopy/mcopy_contexts/no_memory_corruption_on_upper_call_stack_levels.json,* state_tests/cancun/eip5656_mcopy/mcopy_contexts/no_memory_corruption_on_upper_create_stack_levels.json,* -state_tests/cancun/eip5656_mcopy/mcopy/mcopy_on_empty_memory.json,* state_tests/cancun/eip5656_mcopy/mcopy_memory_expansion/mcopy_huge_memory_expansion.json,* state_tests/cancun/eip5656_mcopy/mcopy_memory_expansion/mcopy_memory_expansion.json,* +state_tests/cancun/eip5656_mcopy/mcopy/mcopy_on_empty_memory.json,* state_tests/cancun/eip5656_mcopy/mcopy/valid_mcopy_operations.json,* state_tests/cancun/eip6780_selfdestruct/dynamic_create2_selfdestruct_collision/dynamic_create2_selfdestruct_collision.json,* state_tests/cancun/eip6780_selfdestruct/reentrancy_selfdestruct_revert/reentrancy_selfdestruct_revert.json,* +state_tests/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_created_in_same_tx_with_revert.json,* +state_tests/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_not_created_in_same_tx_with_revert.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/calling_from_new_contract_to_pre_existing_contract.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/calling_from_pre_existing_contract_to_new_contract.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/create_selfdestruct_same_tx_increased_nonce.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/create_selfdestruct_same_tx.json,* -state_tests/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_created_in_same_tx_with_revert.json,* -state_tests/cancun/eip6780_selfdestruct/selfdestruct_revert/selfdestruct_not_created_in_same_tx_with_revert.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/self_destructing_initcode_create_tx.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/self_destructing_initcode.json,* state_tests/cancun/eip6780_selfdestruct/selfdestruct/selfdestruct_pre_existing.json,* @@ -388,11 +388,11 @@ state_tests/frontier/precompiles/precompiles/precompiles.json,* state_tests/homestead/coverage/coverage/coverage.json,* state_tests/homestead/yul/yul_example/yul.json,* state_tests/istanbul/eip1344_chainid/chainid/chainid.json,* +state_tests/istanbul/eip152_blake2/blake2_delegatecall/blake2_precompile_delegatecall.json,* state_tests/istanbul/eip152_blake2/blake2/blake2b_gas_limit.json,* state_tests/istanbul/eip152_blake2/blake2/blake2b_invalid_gas.json,* -state_tests/istanbul/eip152_blake2/blake2/blake2b.json,* state_tests/istanbul/eip152_blake2/blake2/blake2b_large_gas_limit.json,* -state_tests/istanbul/eip152_blake2/blake2_delegatecall/blake2_precompile_delegatecall.json,* +state_tests/istanbul/eip152_blake2/blake2/blake2b.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/call_types.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/gas.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g1add/invalid.json,* @@ -415,14 +415,14 @@ state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/call_types.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/gas.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/invalid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_g2mul/valid.json,* -state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/call_types.json,* -state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/gas.json,* -state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/invalid.json,* -state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/valid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/call_types.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/gas.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/invalid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp_to_g1/valid.json,* +state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/call_types.json,* +state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/gas.json,* +state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/invalid.json,* +state_tests/prague/eip2537_bls_12_381_precompiles/bls12_map_fp2_to_g2/valid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_pairing/call_types.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_pairing/invalid.json,* state_tests/prague/eip2537_bls_12_381_precompiles/bls12_pairing/multi_pair_invalid_inf.json,* @@ -458,8 +458,8 @@ state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_reentry.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_reverts.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_pointer.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_precompile.json,* -state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static_reentry.json,* +state_tests/prague/eip7702_set_code_tx/set_code_txs_2/pointer_to_static.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/static_to_pointer.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/address_from_set_code.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/call_into_chain_delegating_set_code.json,* @@ -468,8 +468,8 @@ state_tests/prague/eip7702_set_code_tx/set_code_txs/contract_create.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/creating_delegation_designation_contract.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_and_set.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_failing_tx.json,* -state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing_tx_to.json,* +state_tests/prague/eip7702_set_code_tx/set_code_txs/delegation_clearing.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/deploying_delegation_designation_contract.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/empty_authorization_list.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_chain_delegating_set_code.json,* @@ -488,16 +488,16 @@ state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_from_account_with_n state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_max_depth_call_stack.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_first_valid_authorization_tuples_same_signer.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_first_invalid_same_signer.json,* -state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce_self_sponsored.json,* +state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_multiple_valid_authorization_tuples_same_signer_increasing_nonce.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_account_deployed_in_same_tx.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_contract_creator.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_log.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_non_empty_storage_non_zero_nonce.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_precompile.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_caller.json,* -state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destructing_account_deployed_in_same_tx.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destruct.json,* +state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_self_destructing_account_deployed_in_same_tx.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_sstore.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_tstore_available_at_correct_address.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_to_tstore_reentry.json,* From 72a46b79db3d96e6afeb6058892d7ce7a9ab26e0 Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Thu, 4 Dec 2025 08:33:38 +0200 Subject: [PATCH 4/8] remove unused status production --- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md index ed0191cb8c..3c7659e38a 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/driver.md @@ -366,8 +366,8 @@ Processing SetCode Transaction Authority Entries syntax Mode ::= "SUCCESS" // ------------------------- - syntax EthereumCommand ::= "exception" | "status" StatusCode - // ------------------------------------------------------------ + syntax EthereumCommand ::= "exception" + // -------------------------------------- rule _:ExceptionalStatusCode #halt ~> exception => .K ... From 6c762add251ab404b5f55e6248d3119011b3e34d Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Thu, 4 Dec 2025 08:35:07 +0200 Subject: [PATCH 5/8] remove print statements --- kevm-pyk/src/tests/utils.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/kevm-pyk/src/tests/utils.py b/kevm-pyk/src/tests/utils.py index 5ebf6a22e4..f92df89f4e 100644 --- a/kevm-pyk/src/tests/utils.py +++ b/kevm-pyk/src/tests/utils.py @@ -5,7 +5,7 @@ import logging from pathlib import Path from typing import TYPE_CHECKING -import sys + import pytest from pyk.kdist._kdist import kdist from pyk.kore.prelude import int_dv @@ -26,7 +26,6 @@ REPO_ROOT: Final = Path(__file__).parents[3].resolve(strict=True) GOLDEN: Final = (REPO_ROOT / 'tests/templates/output-success-llvm.json').read_text().rstrip() -sys.setrecursionlimit(15000000) def _assert_exit_code_zero(pattern: Pattern, exception_expected: bool = False) -> None: @@ -35,7 +34,6 @@ def _assert_exit_code_zero(pattern: Pattern, exception_expected: bool = False) - assert type(kevm_cell) is App exit_code_cell = kevm_cell.args[1] assert type(exit_code_cell) is App - print(exception_expected) exit_code = exit_code_cell.args[0] if exit_code == int_dv(0): From e67d8e5c1741e6ab39b0fe1aca3f21878147d47c Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Thu, 4 Dec 2025 10:45:06 +0200 Subject: [PATCH 6/8] refactor _test in utils.py --- kevm-pyk/src/tests/utils.py | 69 +++++++++++++++++++++---------------- 1 file changed, 39 insertions(+), 30 deletions(-) diff --git a/kevm-pyk/src/tests/utils.py b/kevm-pyk/src/tests/utils.py index f92df89f4e..123a562ad3 100644 --- a/kevm-pyk/src/tests/utils.py +++ b/kevm-pyk/src/tests/utils.py @@ -9,7 +9,7 @@ import pytest from pyk.kdist._kdist import kdist from pyk.kore.prelude import int_dv -from pyk.kore.syntax import App, SortApp +from pyk.kore.syntax import App, SortApp, SymbolId from pyk.kore.tools import PrintOutput, kore_print from kevm_pyk.interpreter import interpret @@ -27,6 +27,9 @@ REPO_ROOT: Final = Path(__file__).parents[3].resolve(strict=True) GOLDEN: Final = (REPO_ROOT / 'tests/templates/output-success-llvm.json').read_text().rstrip() +DOT_STATUS_CODE: Final = App(SymbolId("Lbl'Stop'StatusCode'Unds'NETWORK'Unds'StatusCode")) +SORT_EXCEPTIONAL_STATUS_CODE: Final = SortApp('SortExceptionalStatusCode') + def _assert_exit_code_zero(pattern: Pattern, exception_expected: bool = False) -> None: assert type(pattern) is App @@ -39,24 +42,29 @@ def _assert_exit_code_zero(pattern: Pattern, exception_expected: bool = False) - if exit_code == int_dv(0): return elif exception_expected: - status_code_sort = _fetch_status_code_cell(kevm_cell).args[0] - assert type(status_code_sort) is App - if status_code_sort.sorts[0] == SortApp('SortExceptionalStatusCode'): - return - + _assert_exit_code_exception(kevm_cell) + return pretty = kore_print(pattern, definition_dir=kdist.get('evm-semantics.llvm'), output=PrintOutput.PRETTY) assert pretty == GOLDEN -def _fetch_status_code_cell(kevm_cell: App) -> App: +def _assert_exit_code_exception(kevm_cell: App) -> None: + status_code = _fetch_status_code(kevm_cell) + # Some tests that are expected to fail might get stuck somewhere not related to the exception. + # This assert should catch any false negatives + assert status_code != DOT_STATUS_CODE + status_code_sort = status_code.sorts[0] + assert status_code_sort == SORT_EXCEPTIONAL_STATUS_CODE + + +def _fetch_status_code(kevm_cell: App) -> App: # is nested under - ethereum_cell = kevm_cell.args[5] - assert type(ethereum_cell) is App - evm_cell = ethereum_cell.args[0] - assert type(evm_cell) is App - status_code_cell = evm_cell.args[1] - assert type(status_code_cell) is App - return status_code_cell + ethereum_cell = kevm_cell.args[5] # type: ignore[attr-defined] + evm_cell = ethereum_cell.args[0] # type: ignore[attr-defined] + status_code_cell = evm_cell.args[1] # type: ignore[attr-defined] + status_code = status_code_cell.args[0] # type: ignore[attr-defined] + assert type(status_code) is App + return status_code def _skipped_tests(test_dir: Path, slow_tests_file: Path, failing_tests_file: Path) -> dict[Path, list[str]]: @@ -106,7 +114,6 @@ def _test( if '*' in skipped_gst_tests: pytest.skip() - failing_tests: list[str] = [] gst_file_relative_path: Final[str] = str(gst_file.relative_to(test_dir)) chain_id = compute_chain_id(gst_file_relative_path) @@ -114,21 +121,22 @@ def _test( with gst_file.open() as f: gst_data = json.load(f) - for test_name, test in gst_data.items(): - if test_name in skipped_gst_tests: - continue + tests_to_run = {k: v for k, v in gst_data.items() if k not in skipped_gst_tests} + failing_tests: list[str] = [] + for test_name, test in tests_to_run.items(): _LOGGER.info(f'Running test: {gst_file} - {test_name}') (exception_expected, has_big_int) = has_exception(test) try: res = interpret({test_name: test}, schedule, mode, chain_id, usegas, check=False) except RuntimeError: - if has_big_int: - continue - else: + if not has_big_int: + if not save_failing: + raise failing_tests.append(test_name) - raise + continue + try: _assert_exit_code_zero(res, exception_expected) except AssertionError: @@ -138,12 +146,13 @@ def _test( if not failing_tests: return - if save_failing: - with failing_tests_file.open('a', newline='') as ff: - writer = csv.writer(ff) - if len(failing_tests) == len(gst_data): - writer.writerow([gst_file_relative_path, '*']) - else: - for test_name in sorted(failing_tests): - writer.writerow([gst_file_relative_path, test_name]) + + with failing_tests_file.open('a', newline='') as ff: + writer = csv.writer(ff) + if len(failing_tests) == len(gst_data): + writer.writerow([gst_file_relative_path, '*']) + else: + for test_name in sorted(failing_tests): + writer.writerow([gst_file_relative_path, test_name]) + raise AssertionError(f'Found failing tests in GST file {gst_file_relative_path}: {failing_tests}') From 339f12a30a4f6af36578bae8368d431459c260ca Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Thu, 4 Dec 2025 10:45:15 +0200 Subject: [PATCH 7/8] update expected output --- tests/execution-spec-tests/failing.llvm | 13 +++++++++++++ tests/failing.llvm | 5 ++++- 2 files changed, 17 insertions(+), 1 deletion(-) diff --git a/tests/execution-spec-tests/failing.llvm b/tests/execution-spec-tests/failing.llvm index 801c7dbef7..6f5a6494c5 100644 --- a/tests/execution-spec-tests/failing.llvm +++ b/tests/execution-spec-tests/failing.llvm @@ -170,6 +170,7 @@ blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_variable_len blockchain_tests_engine/prague/eip2537_bls_12_381_precompiles/bls12_variable_length_input_contracts/valid_gas_pairing.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_call_opcodes.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history_at_transition.json,* +blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/invalid_history_contract_calls_input_size.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/block_hashes/invalid_history_contract_calls.json,* blockchain_tests_engine/prague/eip2935_historical_block_hashes_from_state/contract_deployment/system_contract_deployment.json,* @@ -198,6 +199,8 @@ blockchain_tests_engine/prague/eip7685_general_purpose_el_requests/multi_type_re blockchain_tests_engine/prague/eip7685_general_purpose_el_requests/multi_type_requests/valid_deposit_withdrawal_consolidation_requests.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/gas/account_warming.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/gas/call_to_pre_authorized_oog.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/gas/gas_cost.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/gas/intrinsic_gas_cost.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/gas/self_set_code_cost.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/call_pointer_to_created_from_create_after_oog_call_again.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs_2/call_to_precompile_in_pointer_context.json,* @@ -235,6 +238,7 @@ blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_self blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_self_set_code.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_set_code.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/invalid_transaction_after_authorization.json,* +blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/many_delegations.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/nonce_overflow_after_first_authorization.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/nonce_validity.json,* blockchain_tests_engine/prague/eip7702_set_code_tx/set_code_txs/reset_code.json,* @@ -291,9 +295,12 @@ blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/use_value_in_tx blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/withdrawing_to_precompiles.json,* blockchain_tests_engine/shanghai/eip4895_withdrawals/withdrawals/zero_amount.json,* blockchain_tests/cancun/eip4788_beacon_root/beacon_root_contract/beacon_root_transition.json,* +blockchain_tests/cancun/eip4844_blobs/blob_txs_full/reject_valid_full_blob_in_block_rlp.json,* blockchain_tests/cancun/eip4844_blobs/blob_txs/blob_type_tx_pre_fork.json,tests/cancun/eip4844_blobs/test_blob_txs.py::test_blob_type_tx_pre_fork[fork_ShanghaiToCancunAtTime15k-blockchain_test_from_state_test-one_blob_tx] blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_at_blob_genesis.json,* blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/fork_transition_excess_blob_gas_post_blob_genesis.json,* +blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_post_fork_block_without_blob_fields.json,* +blockchain_tests/cancun/eip4844_blobs/excess_blob_gas_fork_transition/invalid_pre_fork_block_with_blob_fields.json,* blockchain_tests/cancun/eip4844_blobs/excess_blob_gas/invalid_blob_gas_used_in_header.json,* blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_before_fork.json,* blockchain_tests/cancun/eip4844_blobs/point_evaluation_precompile/precompile_during_fork.json,* @@ -304,6 +311,7 @@ blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_before_ blockchain_tests/cancun/eip7516_blobgasfee/blobgasfee_opcode/blobbasefee_during_fork.json,* blockchain_tests/prague/eip2537_bls_12_381_precompiles/bls12_precompiles_before_fork/precompile_before_fork.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history_at_transition.json,* +blockchain_tests/prague/eip2935_historical_block_hashes_from_state/block_hashes/block_hashes_history.json,* blockchain_tests/prague/eip2935_historical_block_hashes_from_state/contract_deployment/system_contract_deployment.json,tests/prague/eip2935_historical_block_hashes_from_state/test_contract_deployment.py::test_system_contract_deployment[fork_CancunToPragueAtTime15k-blockchain_test-deploy_after_fork-nonzero_balance] blockchain_tests/prague/eip2935_historical_block_hashes_from_state/contract_deployment/system_contract_deployment.json,tests/prague/eip2935_historical_block_hashes_from_state/test_contract_deployment.py::test_system_contract_deployment[fork_CancunToPragueAtTime15k-blockchain_test-deploy_before_fork-nonzero_balance] blockchain_tests/prague/eip7002_el_triggerable_withdrawals/contract_deployment/system_contract_deployment.json,* @@ -314,7 +322,9 @@ blockchain_tests/prague/eip7251_consolidations/consolidations_during_fork/consol blockchain_tests/prague/eip7251_consolidations/consolidations/consolidation_requests.json,tests/prague/eip7251_consolidations/test_consolidations.py::test_consolidation_requests[fork_Prague-blockchain_test-multiple_block_fee_increments] blockchain_tests/prague/eip7251_consolidations/consolidations/consolidation_requests.json,tests/prague/eip7251_consolidations/test_consolidations.py::test_consolidation_requests[fork_Prague-blockchain_test-single_block_multiple_consolidation_request_last_oog] blockchain_tests/prague/eip7251_consolidations/contract_deployment/system_contract_deployment.json,* +blockchain_tests/prague/eip7702_set_code_tx/gas/intrinsic_gas_cost.json,* blockchain_tests/prague/eip7702_set_code_tx/set_code_txs/set_code_from_account_with_non_delegating_code.json,* +blockchain_tests/prague/eip7702_set_code_tx/set_code_txs/valid_tx_invalid_auth_signature.json,* state_tests/berlin/eip2930_access_list/acl/access_list.json,* state_tests/byzantium/eip198_modexp_precompile/modexp/modexp.json,* state_tests/cancun/eip1153_tstore/basic_tload/basic_tload_after_store.json,* @@ -446,6 +456,8 @@ state_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transacti state_tests/prague/eip7623_increase_calldata_cost/transaction_validity/transaction_validity_type_4.json,* state_tests/prague/eip7702_set_code_tx/gas/account_warming.json,* state_tests/prague/eip7702_set_code_tx/gas/call_to_pre_authorized_oog.json,* +state_tests/prague/eip7702_set_code_tx/gas/gas_cost.json,* +state_tests/prague/eip7702_set_code_tx/gas/intrinsic_gas_cost.json,* state_tests/prague/eip7702_set_code_tx/gas/self_set_code_cost.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/call_pointer_to_created_from_create_after_oog_call_again.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs_2/call_to_precompile_in_pointer_context.json,* @@ -476,6 +488,7 @@ state_tests/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_chain_delegating state_tests/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_self_delegating_set_code.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_self_set_code.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/ext_code_on_set_code.json,* +state_tests/prague/eip7702_set_code_tx/set_code_txs/many_delegations.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/nonce_overflow_after_first_authorization.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/nonce_validity.json,* state_tests/prague/eip7702_set_code_tx/set_code_txs/self_code_on_set_code.json,* diff --git a/tests/failing.llvm b/tests/failing.llvm index f0eca8987b..5f1d31a509 100644 --- a/tests/failing.llvm +++ b/tests/failing.llvm @@ -2,13 +2,16 @@ BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4788_beacon_root/beacon_root BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/blob_type_tx_pre_fork.json,src/GeneralStateTestsFiller/Pyspecs/cancun/eip4844_blobs/test_blob_txs.py::test_blob_type_tx_pre_fork[fork_ShanghaiToCancunAtTime15k-blockchain_test-one_blob_tx] BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/fork_transition_excess_blob_gas.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_blob_gas_used_in_header.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_post_fork_block_without_blob_fields.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/invalid_pre_fork_block_with_blob_fields.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/precompile_before_fork.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/precompile_during_fork.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip4844_blobs/reject_valid_full_blob_in_block_rlp.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/create_selfdestruct_same_tx.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/recreate_self_destructed_contract_different_txs.json,* -BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/selfdestruct_created_same_block_different_tx.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/self_destructing_initcode_create_tx.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/self_destructing_initcode.json,* +BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/selfdestruct_created_same_block_different_tx.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip6780_selfdestruct/selfdestruct_pre_existing.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip7516_blobgasfee/blobbasefee_before_fork.json,* BlockchainTests/GeneralStateTests/Pyspecs/cancun/eip7516_blobgasfee/blobbasefee_during_fork.json,* From 46e7cc80103b58f17397cb1fdb16706a9a13970f Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Thu, 4 Dec 2025 10:58:15 +0200 Subject: [PATCH 8/8] add docstrings --- kevm-pyk/src/tests/utils.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/kevm-pyk/src/tests/utils.py b/kevm-pyk/src/tests/utils.py index 123a562ad3..06181c2b0e 100644 --- a/kevm-pyk/src/tests/utils.py +++ b/kevm-pyk/src/tests/utils.py @@ -49,6 +49,7 @@ def _assert_exit_code_zero(pattern: Pattern, exception_expected: bool = False) - def _assert_exit_code_exception(kevm_cell: App) -> None: + """Assert that the status code in a kevm_cell has the ExceptionalStatusCode sort.""" status_code = _fetch_status_code(kevm_cell) # Some tests that are expected to fail might get stuck somewhere not related to the exception. # This assert should catch any false negatives @@ -58,6 +59,7 @@ def _assert_exit_code_exception(kevm_cell: App) -> None: def _fetch_status_code(kevm_cell: App) -> App: + """Return the value of the "" cell in a kevm_cell:App.""" # is nested under ethereum_cell = kevm_cell.args[5] # type: ignore[attr-defined] evm_cell = ethereum_cell.args[0] # type: ignore[attr-defined] @@ -87,10 +89,12 @@ def read_csv_file(csv_file: Path) -> tuple[tuple[Path, str], ...]: return tuple((Path(row[0]), row[1]) for row in reader) -def has_exception(test_data: dict) -> tuple[bool, bool]: +def has_exception(gst_data: dict) -> tuple[bool, bool]: + """Parse the "blocks" field of a General State Test and check if the "expectException" + and "hasBigInt" fields are inside.""" exception_expected = False has_big_int = False - for block in test_data.get('blocks', []): + for block in gst_data.get('blocks', []): exception_expected = exception_expected or 'expectException' in block has_big_int = has_big_int or 'hasBigInt' in block if exception_expected and has_big_int: