1
98%
master: 98%

Ran 22 Jul 2024 11:12AM UTC

Files 44

Run time 2s

Badge

Embed ▾

Committed 22 Jul 2024 10:26AM UTC coverage: 99.289% (-0.01%) from 99.299%

Job # 10039141538.1

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).

Coverage Stats

43995 of 44310 relevant lines covered (99.29%)

3976317.28 hits per line

TritonVM / triton-vm / 10039141538 / 1
98%
master: 98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10039141538.1

TritonVM / triton-vm / 10039141538 / 1 98% master: 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10039141538.1

TritonVM / triton-vm / 10039141538 / 1
98%
master: 98%

README BADGES
x