Skip to content

test_jumpf_stack_returning_rules()

Documentation for tests/prague/eip7692_eof_v1/eip6206_jumpf/test_jumpf_stack.py::test_jumpf_stack_returning_rules@verkle@v0.0.6.

Generate fixtures for these test cases for Pragueeip7692 with:

Pragueeip7692 only: 

fill -v tests/prague/eip7692_eof_v1/eip6206_jumpf/test_jumpf_stack.py::test_jumpf_stack_returning_rules --fork=PragueEIP7692 --evm-bin=/path/to/evm-tool-dev-version

For all forks up to and including Pragueeip7692: 

fill -v tests/prague/eip7692_eof_v1/eip6206_jumpf/test_jumpf_stack.py::test_jumpf_stack_returning_rules --until=PragueEIP7692

Tests for JUMPF validation stack rules. Returning section cases. Valid cases are executed.

Source code in tests/prague/eip7692_eof_v1/eip6206_jumpf/test_jumpf_stack.py 
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
@pytest.mark.parametrize(
    "source_outputs",
    [0, 2, 4],
    ids=lambda x: "so-%d" % x,
)
@pytest.mark.parametrize(
    "target_outputs",
    [0, 2, 4],
    ids=lambda x: "to-%d" % x,
)
@pytest.mark.parametrize(
    "target_inputs",
    [0, 2, 4],
    ids=lambda x: "ti-%d" % x,
)
@pytest.mark.parametrize("stack_diff", [-1, 0, 1], ids=["less-stack", "same-stack", "more-stack"])
def test_jumpf_stack_returning_rules(
    eof_state_test: EOFStateTestFiller,
    source_outputs: int,
    target_outputs: int,
    target_inputs: int,
    stack_diff: int,
):
    """
    Tests for JUMPF validation stack rules.  Returning section cases.
    Valid cases are executed.
    """
    if target_outputs > source_outputs:
        # These create invalid containers without JUMPF validation, Don't test.
        return
    if target_inputs == 0 and stack_diff < 0:
        # Code generation is impossible for this configuration.  Don't test.
        return

    target_delta = target_outputs - target_inputs
    container = Container(
        name="stack-retuning_co-%d_to-%d_ti-%d_diff-%d"
        % (source_outputs, target_outputs, target_inputs, stack_diff),
        sections=[
            Section.Code(
                code=Op.CALLF[1] + Op.SSTORE(slot_code_worked, value_code_worked) + Op.STOP,
                max_stack_height=2 + source_outputs,
            ),
            Section.Code(
                code=Op.PUSH0 * max(0, target_inputs + stack_diff) + Op.JUMPF[2],
                code_outputs=source_outputs,
                max_stack_height=target_inputs,
            ),
            Section.Code(
                code=(Op.POP * -target_delta if target_delta < 0 else Op.PUSH0 * target_delta)
                + Op.RETF,
                code_inputs=target_inputs,
                code_outputs=target_outputs,
                max_stack_height=max(target_inputs, target_outputs),
            ),
        ],
    )

    if stack_diff < source_outputs - target_outputs:
        container.validity_error = EOFException.STACK_UNDERFLOW
    elif stack_diff > source_outputs - target_outputs:
        container.validity_error = EOFException.STACK_HIGHER_THAN_OUTPUTS

    eof_state_test(
        data=container,
        container_post=Account(storage={slot_code_worked: value_code_worked}),
        tx_data=b"\1",
    )

Parametrized Test Cases

The interactive table below is also available as a standalone page.

Skipped Parameters

For more concise readability, the table below does not list the following parameter values: fork, blockchain_test, state_test, state_test_only, eof_test, eof_state_test.

Test ID stack_diff target_inputs target_outputs source_outputs
less-stack-ti-0-to-0-so-0 -1 0 0 0
less-stack-ti-0-to-0-so-2 -1 0 0 2
less-stack-ti-0-to-0-so-4 -1 0 0 4
less-stack-ti-0-to-2-so-0 -1 0 2 0
less-stack-ti-0-to-2-so-2 -1 0 2 2
less-stack-ti-0-to-2-so-4 -1 0 2 4
less-stack-ti-0-to-4-so-0 -1 0 4 0
less-stack-ti-0-to-4-so-2 -1 0 4 2
less-stack-ti-0-to-4-so-4 -1 0 4 4
less-stack-ti-2-to-0-so-0 -1 2 0 0
less-stack-ti-2-to-0-so-2 -1 2 0 2
less-stack-ti-2-to-0-so-4 -1 2 0 4
less-stack-ti-2-to-2-so-0 -1 2 2 0
less-stack-ti-2-to-2-so-2 -1 2 2 2
less-stack-ti-2-to-2-so-4 -1 2 2 4
less-stack-ti-2-to-4-so-0 -1 2 4 0
less-stack-ti-2-to-4-so-2 -1 2 4 2
less-stack-ti-2-to-4-so-4 -1 2 4 4
less-stack-ti-4-to-0-so-0 -1 4 0 0
less-stack-ti-4-to-0-so-2 -1 4 0 2
less-stack-ti-4-to-0-so-4 -1 4 0 4
less-stack-ti-4-to-2-so-0 -1 4 2 0
less-stack-ti-4-to-2-so-2 -1 4 2 2
less-stack-ti-4-to-2-so-4 -1 4 2 4
less-stack-ti-4-to-4-so-0 -1 4 4 0
less-stack-ti-4-to-4-so-2 -1 4 4 2
less-stack-ti-4-to-4-so-4 -1 4 4 4
same-stack-ti-0-to-0-so-0 0 0 0 0
same-stack-ti-0-to-0-so-2 0 0 0 2
same-stack-ti-0-to-0-so-4 0 0 0 4
same-stack-ti-0-to-2-so-0 0 0 2 0
same-stack-ti-0-to-2-so-2 0 0 2 2
same-stack-ti-0-to-2-so-4 0 0 2 4
same-stack-ti-0-to-4-so-0 0 0 4 0
same-stack-ti-0-to-4-so-2 0 0 4 2
same-stack-ti-0-to-4-so-4 0 0 4 4
same-stack-ti-2-to-0-so-0 0 2 0 0
same-stack-ti-2-to-0-so-2 0 2 0 2
same-stack-ti-2-to-0-so-4 0 2 0 4
same-stack-ti-2-to-2-so-0 0 2 2 0
same-stack-ti-2-to-2-so-2 0 2 2 2
same-stack-ti-2-to-2-so-4 0 2 2 4
same-stack-ti-2-to-4-so-0 0 2 4 0
same-stack-ti-2-to-4-so-2 0 2 4 2
same-stack-ti-2-to-4-so-4 0 2 4 4
same-stack-ti-4-to-0-so-0 0 4 0 0
same-stack-ti-4-to-0-so-2 0 4 0 2
same-stack-ti-4-to-0-so-4 0 4 0 4
same-stack-ti-4-to-2-so-0 0 4 2 0
same-stack-ti-4-to-2-so-2 0 4 2 2
same-stack-ti-4-to-2-so-4 0 4 2 4
same-stack-ti-4-to-4-so-0 0 4 4 0
same-stack-ti-4-to-4-so-2 0 4 4 2
same-stack-ti-4-to-4-so-4 0 4 4 4
more-stack-ti-0-to-0-so-0 1 0 0 0
more-stack-ti-0-to-0-so-2 1 0 0 2
more-stack-ti-0-to-0-so-4 1 0 0 4
more-stack-ti-0-to-2-so-0 1 0 2 0
more-stack-ti-0-to-2-so-2 1 0 2 2
more-stack-ti-0-to-2-so-4 1 0 2 4
more-stack-ti-0-to-4-so-0 1 0 4 0
more-stack-ti-0-to-4-so-2 1 0 4 2
more-stack-ti-0-to-4-so-4 1 0 4 4
more-stack-ti-2-to-0-so-0 1 2 0 0
more-stack-ti-2-to-0-so-2 1 2 0 2
more-stack-ti-2-to-0-so-4 1 2 0 4
more-stack-ti-2-to-2-so-0 1 2 2 0
more-stack-ti-2-to-2-so-2 1 2 2 2
more-stack-ti-2-to-2-so-4 1 2 2 4
more-stack-ti-2-to-4-so-0 1 2 4 0
more-stack-ti-2-to-4-so-2 1 2 4 2
more-stack-ti-2-to-4-so-4 1 2 4 4
more-stack-ti-4-to-0-so-0 1 4 0 0
more-stack-ti-4-to-0-so-2 1 4 0 2
more-stack-ti-4-to-0-so-4 1 4 0 4
more-stack-ti-4-to-2-so-0 1 4 2 0
more-stack-ti-4-to-2-so-2 1 4 2 2
more-stack-ti-4-to-2-so-4 1 4 2 4
more-stack-ti-4-to-4-so-0 1 4 4 0
more-stack-ti-4-to-4-so-2 1 4 4 2
more-stack-ti-4-to-4-so-4 1 4 4 4
less-stack-ti-0-to-0-so-0 -1 0 0 0
less-stack-ti-0-to-0-so-2 -1 0 0 2
less-stack-ti-0-to-0-so-4 -1 0 0 4
less-stack-ti-0-to-2-so-0 -1 0 2 0
less-stack-ti-0-to-2-so-2 -1 0 2 2
less-stack-ti-0-to-2-so-4 -1 0 2 4
less-stack-ti-0-to-4-so-0 -1 0 4 0
less-stack-ti-0-to-4-so-2 -1 0 4 2
less-stack-ti-0-to-4-so-4 -1 0 4 4
less-stack-ti-2-to-0-so-0 -1 2 0 0
less-stack-ti-2-to-0-so-2 -1 2 0 2
less-stack-ti-2-to-0-so-4 -1 2 0 4
less-stack-ti-2-to-2-so-0 -1 2 2 0
less-stack-ti-2-to-2-so-2 -1 2 2 2
less-stack-ti-2-to-2-so-4 -1 2 2 4
less-stack-ti-2-to-4-so-0 -1 2 4 0
less-stack-ti-2-to-4-so-2 -1 2 4 2
less-stack-ti-2-to-4-so-4 -1 2 4 4
less-stack-ti-4-to-0-so-0 -1 4 0 0
less-stack-ti-4-to-0-so-2 -1 4 0 2
less-stack-ti-4-to-0-so-4 -1 4 0 4
less-stack-ti-4-to-2-so-0 -1 4 2 0
less-stack-ti-4-to-2-so-2 -1 4 2 2
less-stack-ti-4-to-2-so-4 -1 4 2 4
less-stack-ti-4-to-4-so-0 -1 4 4 0
less-stack-ti-4-to-4-so-2 -1 4 4 2
less-stack-ti-4-to-4-so-4 -1 4 4 4
same-stack-ti-0-to-0-so-0 0 0 0 0
same-stack-ti-0-to-0-so-2 0 0 0 2
same-stack-ti-0-to-0-so-4 0 0 0 4
same-stack-ti-0-to-2-so-0 0 0 2 0
same-stack-ti-0-to-2-so-2 0 0 2 2
same-stack-ti-0-to-2-so-4 0 0 2 4
same-stack-ti-0-to-4-so-0 0 0 4 0
same-stack-ti-0-to-4-so-2 0 0 4 2
same-stack-ti-0-to-4-so-4 0 0 4 4
same-stack-ti-2-to-0-so-0 0 2 0 0
same-stack-ti-2-to-0-so-2 0 2 0 2
same-stack-ti-2-to-0-so-4 0 2 0 4
same-stack-ti-2-to-2-so-0 0 2 2 0
same-stack-ti-2-to-2-so-2 0 2 2 2
same-stack-ti-2-to-2-so-4 0 2 2 4
same-stack-ti-2-to-4-so-0 0 2 4 0
same-stack-ti-2-to-4-so-2 0 2 4 2
same-stack-ti-2-to-4-so-4 0 2 4 4
same-stack-ti-4-to-0-so-0 0 4 0 0
same-stack-ti-4-to-0-so-2 0 4 0 2
same-stack-ti-4-to-0-so-4 0 4 0 4
same-stack-ti-4-to-2-so-0 0 4 2 0
same-stack-ti-4-to-2-so-2 0 4 2 2
same-stack-ti-4-to-2-so-4 0 4 2 4
same-stack-ti-4-to-4-so-0 0 4 4 0
same-stack-ti-4-to-4-so-2 0 4 4 2
same-stack-ti-4-to-4-so-4 0 4 4 4
more-stack-ti-0-to-0-so-0 1 0 0 0
more-stack-ti-0-to-0-so-2 1 0 0 2
more-stack-ti-0-to-0-so-4 1 0 0 4
more-stack-ti-0-to-2-so-0 1 0 2 0
more-stack-ti-0-to-2-so-2 1 0 2 2
more-stack-ti-0-to-2-so-4 1 0 2 4
more-stack-ti-0-to-4-so-0 1 0 4 0
more-stack-ti-0-to-4-so-2 1 0 4 2
more-stack-ti-0-to-4-so-4 1 0 4 4
more-stack-ti-2-to-0-so-0 1 2 0 0
more-stack-ti-2-to-0-so-2 1 2 0 2
more-stack-ti-2-to-0-so-4 1 2 0 4
more-stack-ti-2-to-2-so-0 1 2 2 0
more-stack-ti-2-to-2-so-2 1 2 2 2
more-stack-ti-2-to-2-so-4 1 2 2 4
more-stack-ti-2-to-4-so-0 1 2 4 0
more-stack-ti-2-to-4-so-2 1 2 4 2
more-stack-ti-2-to-4-so-4 1 2 4 4
more-stack-ti-4-to-0-so-0 1 4 0 0
more-stack-ti-4-to-0-so-2 1 4 0 2
more-stack-ti-4-to-0-so-4 1 4 0 4
more-stack-ti-4-to-2-so-0 1 4 2 0
more-stack-ti-4-to-2-so-2 1 4 2 2
more-stack-ti-4-to-2-so-4 1 4 2 4
more-stack-ti-4-to-4-so-0 1 4 4 0
more-stack-ti-4-to-4-so-2 1 4 4 2
more-stack-ti-4-to-4-so-4 1 4 4 4
less-stack-ti-0-to-0-so-0 -1 0 0 0
less-stack-ti-0-to-0-so-2 -1 0 0 2
less-stack-ti-0-to-0-so-4 -1 0 0 4
less-stack-ti-0-to-2-so-0 -1 0 2 0
less-stack-ti-0-to-2-so-2 -1 0 2 2
less-stack-ti-0-to-2-so-4 -1 0 2 4
less-stack-ti-0-to-4-so-0 -1 0 4 0
less-stack-ti-0-to-4-so-2 -1 0 4 2
less-stack-ti-0-to-4-so-4 -1 0 4 4
less-stack-ti-2-to-0-so-0 -1 2 0 0
less-stack-ti-2-to-0-so-2 -1 2 0 2
less-stack-ti-2-to-0-so-4 -1 2 0 4
less-stack-ti-2-to-2-so-0 -1 2 2 0
less-stack-ti-2-to-2-so-2 -1 2 2 2
less-stack-ti-2-to-2-so-4 -1 2 2 4
less-stack-ti-2-to-4-so-0 -1 2 4 0
less-stack-ti-2-to-4-so-2 -1 2 4 2
less-stack-ti-2-to-4-so-4 -1 2 4 4
less-stack-ti-4-to-0-so-0 -1 4 0 0
less-stack-ti-4-to-0-so-2 -1 4 0 2
less-stack-ti-4-to-0-so-4 -1 4 0 4
less-stack-ti-4-to-2-so-0 -1 4 2 0
less-stack-ti-4-to-2-so-2 -1 4 2 2
less-stack-ti-4-to-2-so-4 -1 4 2 4
less-stack-ti-4-to-4-so-0 -1 4 4 0
less-stack-ti-4-to-4-so-2 -1 4 4 2
less-stack-ti-4-to-4-so-4 -1 4 4 4
same-stack-ti-0-to-0-so-0 0 0 0 0
same-stack-ti-0-to-0-so-2 0 0 0 2
same-stack-ti-0-to-0-so-4 0 0 0 4
same-stack-ti-0-to-2-so-0 0 0 2 0
same-stack-ti-0-to-2-so-2 0 0 2 2
same-stack-ti-0-to-2-so-4 0 0 2 4
same-stack-ti-0-to-4-so-0 0 0 4 0
same-stack-ti-0-to-4-so-2 0 0 4 2
same-stack-ti-0-to-4-so-4 0 0 4 4
same-stack-ti-2-to-0-so-0 0 2 0 0
same-stack-ti-2-to-0-so-2 0 2 0 2
same-stack-ti-2-to-0-so-4 0 2 0 4
same-stack-ti-2-to-2-so-0 0 2 2 0
same-stack-ti-2-to-2-so-2 0 2 2 2
same-stack-ti-2-to-2-so-4 0 2 2 4
same-stack-ti-2-to-4-so-0 0 2 4 0
same-stack-ti-2-to-4-so-2 0 2 4 2
same-stack-ti-2-to-4-so-4 0 2 4 4
same-stack-ti-4-to-0-so-0 0 4 0 0
same-stack-ti-4-to-0-so-2 0 4 0 2
same-stack-ti-4-to-0-so-4 0 4 0 4
same-stack-ti-4-to-2-so-0 0 4 2 0
same-stack-ti-4-to-2-so-2 0 4 2 2
same-stack-ti-4-to-2-so-4 0 4 2 4
same-stack-ti-4-to-4-so-0 0 4 4 0
same-stack-ti-4-to-4-so-2 0 4 4 2
same-stack-ti-4-to-4-so-4 0 4 4 4
more-stack-ti-0-to-0-so-0 1 0 0 0
more-stack-ti-0-to-0-so-2 1 0 0 2
more-stack-ti-0-to-0-so-4 1 0 0 4
more-stack-ti-0-to-2-so-0 1 0 2 0
more-stack-ti-0-to-2-so-2 1 0 2 2
more-stack-ti-0-to-2-so-4 1 0 2 4
more-stack-ti-0-to-4-so-0 1 0 4 0
more-stack-ti-0-to-4-so-2 1 0 4 2
more-stack-ti-0-to-4-so-4 1 0 4 4
more-stack-ti-2-to-0-so-0 1 2 0 0
more-stack-ti-2-to-0-so-2 1 2 0 2
more-stack-ti-2-to-0-so-4 1 2 0 4
more-stack-ti-2-to-2-so-0 1 2 2 0
more-stack-ti-2-to-2-so-2 1 2 2 2
more-stack-ti-2-to-2-so-4 1 2 2 4
more-stack-ti-2-to-4-so-0 1 2 4 0
more-stack-ti-2-to-4-so-2 1 2 4 2
more-stack-ti-2-to-4-so-4 1 2 4 4
more-stack-ti-4-to-0-so-0 1 4 0 0
more-stack-ti-4-to-0-so-2 1 4 0 2
more-stack-ti-4-to-0-so-4 1 4 0 4
more-stack-ti-4-to-2-so-0 1 4 2 0
more-stack-ti-4-to-2-so-2 1 4 2 2
more-stack-ti-4-to-2-so-4 1 4 2 4
more-stack-ti-4-to-4-so-0 1 4 4 0
more-stack-ti-4-to-4-so-2 1 4 4 2
more-stack-ti-4-to-4-so-4 1 4 4 4