feat(specs): EOF: eof_test generates state tests, and execute in live devnets

[marioevz]

🗒️ Description

REQUIRES #1220 Merged

- eof_test produces state tests (and blockchain tests)

Create a state test out of an eof_test by:

1. in the case of a run-time container, wrapping the container under test within an init container and sending a contract-creating transaction
2. in the case of an init container, the container is wrapped in a factory container (which would execute the initcode to create a contract) and the factory container is wrapped within an init container, which is finally sent as a contract-creating transaction

- State test generated from EOF tests have extra markers

All state tests generated automatically from the eof_test spec now have a different test ID, along with an extra marker applied.

The test ID will show state_test_from_eof_test instead of simply state_test, e.g.:
test_swapn_on_max_stack[fork_Osaka-state_test_from_eof_test-swapn_operand_0]
intead of:
test_swapn_on_max_stack[fork_Osaka-state_test-swapn_operand_0]

Also, all tests will have the extra markers state_test_from_eof_test or blockchain_test_from_eof_test or blockchain_test_engine_from_eof_test in order to be able to fill only these specific tests.

E.g. using -m state_test will select all tests, including state_test_from_eof_test tests:

collected 28 items / 22 deselected / 6 selected

<Package eip663_dupn_swapn_exchange>
  <Module test_swapn.py>
    <Function test_swapn_all_valid_immediates[fork_Osaka-state_test]>
    <Function test_swapn_on_max_stack[fork_Osaka-state_test_from_eof_test-swapn_operand_0]>
    <Function test_swapn_on_max_stack[fork_Osaka-state_test_from_eof_test-swapn_operand_255]>
    <Function test_swapn_stack_underflow[fork_Osaka-state_test_from_eof_test-stack_height_0]>
    <Function test_swapn_stack_underflow[fork_Osaka-state_test_from_eof_test-stack_height_1]>
    <Function test_swapn_stack_underflow[fork_Osaka-state_test_from_eof_test-stack_height_21]>
    <Function test_swapn_stack_underflow[fork_Osaka-state_test_from_eof_test-stack_height_255]>

But using -m state_test_from_eof_test will only select state tests that have been automatically generated from an EOF test:

collected 28 items / 23 deselected / 5 selected

<Package eip663_dupn_swapn_exchange>
  <Module test_swapn.py>
    <Function test_swapn_on_max_stack[fork_Osaka-state_test_from_eof_test-swapn_operand_0]>
    <Function test_swapn_on_max_stack[fork_Osaka-state_test_from_eof_test-swapn_operand_255]>
    <Function test_swapn_stack_underflow[fork_Osaka-state_test_from_eof_test-stack_height_0]>
    <Function test_swapn_stack_underflow[fork_Osaka-state_test_from_eof_test-stack_height_1]>
    <Function test_swapn_stack_underflow[fork_Osaka-state_test_from_eof_test-stack_height_21]>
    <Function test_swapn_stack_underflow[fork_Osaka-state_test_from_eof_test-stack_height_255]>

Using -m eof_test will still produce the exact same tests as before.

- eof_test executable in live networks

This change allows the uv run execute command to send EOF initcode transactions to live networks by using the same methodology described in the previous section.

The marker transaction_post_from_eof_test will in this case send only EOF container validation tests to the live network:

collected 7 items / 2 deselected / 5 selected

<Package eip663_dupn_swapn_exchange>
  <Module test_swapn.py>
    <Function test_swapn_on_max_stack[fork_Osaka-transaction_post_from_eof_test-swapn_operand_0]>
    <Function test_swapn_on_max_stack[fork_Osaka-transaction_post_from_eof_test-swapn_operand_255]>
    <Function test_swapn_stack_underflow[fork_Osaka-transaction_post_from_eof_test-stack_height_0]>
    <Function test_swapn_stack_underflow[fork_Osaka-transaction_post_from_eof_test-stack_height_1]>
    <Function test_swapn_stack_underflow[fork_Osaka-transaction_post_from_eof_test-stack_height_21]>
    <Function test_swapn_stack_underflow[fork_Osaka-transaction_post_from_eof_test-stack_height_255]>

🔗 Related Issues

✅ Checklist

• All: Set appropriate labels for the changes.
• All: Considered squashing commits to improve commit history.
• All: Added an entry to CHANGELOG.md.
• All: Considered updating the online docs in the ./docs/ directory.
• Tests: All converted JSON/YML tests from ethereum/tests have been added to converted-ethereum-tests.txt.
• Tests: A PR with removal of converted JSON/YML tests from ethereum/tests have been opened.
• Tests: Included the type and version of evm t8n tool used to locally execute test cases: e.g., ref with commit hash or geth 1.13.1-stable-3f40e65.
• Tests: Ran mkdocs serve locally and verified the auto-generated docs for new tests in the Test Case Reference are correctly formatted.

[spencer-tb]

Framework changes LGTM!

[pdobacz]

LGTM, just one call for expanding the docs a bit

[shemnon]

LGTM, modulo piotr's remark.

[marioevz]

I changed the approach of the state tests generated for init-containers, and trying to infer the deployed container from the sections worked reasonably well, with just a single test that needed to be updated by setting its deployed_container field.

I've updated the method to be the default and will proceed to merge.

[pdobacz]

is this actually accurate? not sth like:

If the value is set to None, it is assumed that the init container will fail to deploy, despite being valid EOF, and the test will expect that no contract is created.

?