Skip to content

Test Dynamic JUMP

Documentation for tests/frontier/opcodes/test_dynamic_jump.py@02aafd78.

Generate fixtures for these test cases for Bogota with:

fill -v tests/frontier/opcodes/test_dynamic_jump.py --fork Bogota

Tests for JUMP and JUMPI with runtime-computed destinations or conditions.

Test Functions Overview

Name Type Cases (Bogota) Description
test_dynamic_jump_invalid_destination state_test 30 Jump to an invalid destination computed at run time and verify the
test_jumpi_not_taken_invalid_destination state_test 2 Verify that a false-condition JUMPI whose destination is invalid does