new(tests): EIP-7002, EIP-7251: system contract error tests

Author: marioevz

docs/CHANGELOG.md

@@ -39,6 +39,7 @@ Test fixtures for use by clients are available for each release on the [Github r
 - ✨ [EIP-6110](https://eips.ethereum.org/EIPS/eip-6110): Add extra deposit request edge cases, sending eth to the deposit contract while sending a deposit request ([#1467](https://github.com/ethereum/execution-spec-tests/pull/1467)).
 - ✨ [EIP-7251](https://eips.ethereum.org/EIPS/eip-7251): Remove pytest skips for consolidation request cases ([#1449](https://github.com/ethereum/execution-spec-tests/pull/1449)).
 - ✨ [EIP-7002](https://eips.ethereum.org/EIPS/eip-7002), [EIP-7251](https://eips.ethereum.org/EIPS/eip-7251): Add cases to verify behavior of contracts missing at fork ([#1394](https://github.com/ethereum/execution-spec-tests/pull/1394)).
+- ✨ [EIP-7002](https://eips.ethereum.org/EIPS/eip-7002), [EIP-7251](https://eips.ethereum.org/EIPS/eip-7251): Add cases to verify behavior of system contract errors invalidating a block ([#1394](https://github.com/ethereum/execution-spec-tests/pull/1394)).
 
 ### 📋 Misc
 

tests/prague/eip7002_el_triggerable_withdrawals/spec.py

@@ -34,6 +34,8 @@ class Spec:
     WITHDRAWAL_REQUEST_PREDEPLOY_SENDER = Address(0x8646861A7CF453DDD086874D622B0696DE5B9674)
     SYSTEM_ADDRESS = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE
 
+    SYSTEM_CALL_GAS_LIMIT = 30_000_000
+
     EXCESS_WITHDRAWAL_REQUESTS_STORAGE_SLOT = 0
     WITHDRAWAL_REQUEST_COUNT_STORAGE_SLOT = 1
     WITHDRAWAL_REQUEST_QUEUE_HEAD_STORAGE_SLOT = (

tests/prague/eip7002_el_triggerable_withdrawals/test_modified_withdrawal_contract.py

@@ -10,11 +10,13 @@
 
 from ethereum_test_tools import (
     Account,
+    Address,
     Alloc,
     Block,
     BlockchainTestFiller,
     Bytecode,
     Transaction,
+    generate_system_contract_error_test,
 )
 from ethereum_test_tools import Macros as Om
 from ethereum_test_tools import Opcodes as Op
@@ -130,3 +132,20 @@ def test_extra_withdrawals(
         ],
         post={},
     )
+
+
+@pytest.mark.parametrize(
+    "system_contract", [Address(Spec_EIP7002.WITHDRAWAL_REQUEST_PREDEPLOY_ADDRESS)]
+)
+@generate_system_contract_error_test(
+    max_gas_limit=Spec_EIP7002.SYSTEM_CALL_GAS_LIMIT,
+)
+def test_system_contract_errors():
+    """
+    Test system contract raising different errors when called by the system account at the
+    end of the block execution.
+
+    To see the list of generated tests, please refer to the
+    `generate_system_contract_error_test` decorator definition.
+    """
+    pass

tests/prague/eip7251_consolidations/spec.py

@@ -28,6 +28,8 @@ class Spec:
     CONSOLIDATION_REQUEST_PREDEPLOY_SENDER = Address(0x13D1913D623E6A9D8811736359E50FD31FE54FCA)
     SYSTEM_ADDRESS = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE
 
+    SYSTEM_CALL_GAS_LIMIT = 30_000_000
+
     EXCESS_CONSOLIDATION_REQUESTS_STORAGE_SLOT = 0
     CONSOLIDATION_REQUEST_COUNT_STORAGE_SLOT = 1
     CONSOLIDATION_REQUEST_QUEUE_HEAD_STORAGE_SLOT = (

tests/prague/eip7251_consolidations/test_modified_consolidation_contract.py

@@ -10,11 +10,13 @@
 
 from ethereum_test_tools import (
     Account,
+    Address,
     Alloc,
     Block,
     BlockchainTestFiller,
     Bytecode,
     Transaction,
+    generate_system_contract_error_test,
 )
 from ethereum_test_tools import Macros as Om
 from ethereum_test_tools import Opcodes as Op
@@ -130,3 +132,20 @@ def test_extra_consolidations(
         ],
         post={},
     )
+
+
+@pytest.mark.parametrize(
+    "system_contract", [Address(Spec_EIP7251.CONSOLIDATION_REQUEST_PREDEPLOY_ADDRESS)]
+)
+@generate_system_contract_error_test(
+    max_gas_limit=Spec_EIP7251.SYSTEM_CALL_GAS_LIMIT,
+)
+def test_system_contract_errors():
+    """
+    Test system contract raising different errors when called by the system account at the
+    end of the block execution.
+
+    To see the list of generated tests, please refer to the
+    `generate_system_contract_error_test` decorator definition.
+    """
+    pass