TritonVM / triton-vm / 10039141538
98%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 44
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 99.289% (-0.01%) from 99.299%
10039141538

push

github

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

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

Uncovered Existing Lines

Lines Coverage ∆ File
1
99.64
 -0.05% triton-vm/src/vm.rs
1
97.79
 -0.2% triton-vm/src/profiler.rs
7
98.8
 -0.14% triton-vm/src/stark.rs
Jobs
ID Job ID Ran Files Coverage
1 10039141538.1 44
99.29
 GitHub Action Run
Source Files on build 10039141538