From 5662537ffb28af7705757fc63de85ecf9ff47281 Mon Sep 17 00:00:00 2001 From: Danno Ferrin Date: Thu, 24 Oct 2024 21:37:12 -0600 Subject: [PATCH] update comments Signed-off-by: Danno Ferrin --- .../eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py b/tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py index d61477854b..9970081ef9 100644 --- a/tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py +++ b/tests/osaka/eip7692_eof_v1/eip6206_jumpf/test_jumpf_execution.py @@ -249,10 +249,12 @@ def test_jumpf_stack_overflow( eof_state_test: EOFStateTestFiller, ): """ - Test stack overflowing 1024 items in JUMPF target function + Test rule #2 in execution semantics, where we make sure we have enough stack to guarantee + safe execution (the "reserved stack rule") max possible stack will not exceed 1024. But some + executions may not overflow the stack, so we need to ensure the rule is checked. `no_overflow` - the stack does not overflow at JUMPF call, executes to end - `rule_overflow` - reserved stack overflows, but execution would not overflow + `rule_overflow` - reserved stack rule triggers, but execution would not overflow if allowed `execution_overflow` - execution would overflow (but still blocked by reserved stack rule) """ eof_state_test(