vbpf / prevail / 24961109656 / 1
89%
main: 87%

LAST BUILD BRANCH: fix/alu32-soundness
DEFAULT BRANCH: main
Ran
Files 111
Run time 2s
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: 87.598% (+0.1%) from 87.495%
24961109656.1

Pull #1101

github

web-flow 
Merge 583f56512 into e7046de42
Pull Request #1101: Split runtime semantics from presentation/orchestration (#1085)

13244 of 15119 relevant lines covered (87.6%)

2279579.23 hits per line

Source Files on job run-Debug - 24961109656.1