Skip to content

test_invalid_zero_length_pairing()

Documentation for tests/prague/eip2537_bls_12_381_precompiles/test_bls12_variable_length_input_contracts.py::test_invalid_zero_length_pairing@88e9fb8f.

Generate fixtures for these test cases for Osaka with:

fill -v tests/prague/eip2537_bls_12_381_precompiles/test_bls12_variable_length_input_contracts.py::test_invalid_zero_length_pairing --fork Osaka

Test the BLS12_PAIRING precompile by passing an input with zero length.

Source code in tests/prague/eip2537_bls_12_381_precompiles/test_bls12_variable_length_input_contracts.py
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
@pytest.mark.parametrize(
    "precompile_gas_list,precompile_data_length_list",
    [
        pytest.param(
            [PAIRING_GAS(Spec.LEN_PER_PAIR)],
            [0],
            id="zero_length",
        ),
    ],
)
@pytest.mark.parametrize("expected_output", [Spec.INVALID], ids=[""])
@pytest.mark.parametrize("precompile_address", [Spec.PAIRING])
def test_invalid_zero_length_pairing(
    state_test: StateTestFiller,
    env: Environment,
    pre: Alloc,
    post: dict,
    tx: Transaction,
) -> None:
    """
    Test the BLS12_PAIRING precompile by passing an input with zero length.
    """
    state_test(
        env=env,
        pre=pre,
        tx=tx,
        post=post,
    )

Parametrized Test Cases

This test case is only parametrized by fork and fixture format.

Test ID (Abbreviated) precompile_address expected_output precompile_gas_list precompile_data_length_list
...fork_Prague-state_test-precompile_address_15--zero_length 15 [70300] [0]
...fork_Prague-blockchain_test_from_state_test-precompile_address_15--zero_length 15 [70300] [0]
...fork_Osaka-state_test-precompile_address_15--zero_length 15 [70300] [0]
...fork_Osaka-blockchain_test_from_state_test-precompile_address_15--zero_length 15 [70300] [0]