test_selfdestruct_then_transfer_same_block()

Documentation for tests/amsterdam/eip7708_eth_transfer_logs/test_transfer_logs.py::test_selfdestruct_then_transfer_same_block@a9abd46e.

Generate fixtures for these test cases for Amsterdam with:

fill -v tests/amsterdam/eip7708_eth_transfer_logs/test_transfer_logs.py::test_selfdestruct_then_transfer_same_block --fork Amsterdam

Test transfer to address that selfdestructed earlier in the same block.

Tx1: Contract selfdestructs, sending balance to beneficiary. Tx2: Transfer to the contract triggers SELFDESTRUCT again (code not deleted per EIP-6780), sending the received value to beneficiary.

Expected logs: - Tx1: contract -> beneficiary (500) - Tx2: sender -> contract (100) + contract -> beneficiary (100)

Source code in tests/amsterdam/eip7708_eth_transfer_logs/test_transfer_logs.py

def test_selfdestruct_then_transfer_same_block(
    blockchain_test: BlockchainTestFiller, pre: Alloc, fork: Fork
) -> None:
    """
    Test transfer to address that selfdestructed earlier in the same block.

    Tx1: Contract selfdestructs, sending balance to beneficiary.
    Tx2: Transfer to the contract triggers SELFDESTRUCT again (code not deleted
         per EIP-6780), sending the received value to beneficiary.

    Expected logs:
    - Tx1: contract -> beneficiary (500)
    - Tx2: sender -> contract (100) + contract -> beneficiary (100)
    """
    sender = pre.fund_eoa()
    beneficiary = pre.nonexistent_account()

    contract_code = Op.SELFDESTRUCT(beneficiary)
    contract = pre.deploy_contract(contract_code, balance=500)

    blocks = [
        Block(
            txs=[
                Transaction(
                    to=contract,
                    sender=sender,
                    nonce=0,
                    value=0,
                    expected_receipt=TransactionReceipt(
                        logs=[transfer_log(contract, beneficiary, 500)]
                    ),
                ),
                Transaction(
                    to=contract,
                    sender=sender,
                    nonce=1,
                    value=100,
                    expected_receipt=TransactionReceipt(
                        logs=[
                            transfer_log(sender, contract, 100),
                            transfer_log(contract, beneficiary, 100),
                        ]
                    ),
                ),
            ],
        ),
    ]

    blockchain_test(
        pre=pre,
        blocks=blocks,
        post={
            beneficiary: Account(balance=600),
            contract: Account(balance=0),
        },
    )

Parametrized Test Cases

This test generates 1 parametrized test case across 1 fork.