vbpf / prevail / 25009382349 / 2
90%
main: 87%

LAST BUILD BRANCH: fix/alu32-soundness
DEFAULT BRANCH: main
Ran
Files 112
Run time 4s
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: 88.853% (+0.3%) from 88.528%
25009382349.2

Pull #1102

github

web-flow 
Merge 41d4ad31e into ef68e10c5
Pull Request #1102: Share helper/kfunc arg resolution; compact kfunc prototype table

13359 of 15035 relevant lines covered (88.85%)

2198461.44 hits per line

Source Files on job run-Release - 25009382349.2