Skip to content

Commit

Permalink
update comments
Browse files Browse the repository at this point in the history
Signed-off-by: Danno Ferrin <danno@numisight.com>
  • Loading branch information
shemnon committed Oct 25, 2024
1 parent 479e728 commit 5662537
Showing 1 changed file with 4 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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(
Expand Down

0 comments on commit 5662537

Please sign in to comment.