TritonVM / triton-vm / 10039141538

98%

Build Type

push

github

Committed by jan-ferdinand

Commit Message

fix: Fix completeness bug of `recurse_or_return`

The Jump Stack Table did not know that instruction `recurse_or_return`
could return. Consequently, proving correct execution of programs
making use of instruction `recurse_or_return` was not possible (except
for a few specific cases).

Run Details

16 of 16 new or added lines in 1 file covered. (100.0%)

9 existing lines in 3 files now uncovered.

43995 of 44310 relevant lines covered (99.29%)

3976317.28 hits per line