vbpf / prevail / 22231011966 / 1
88%
main: 88%

LAST BUILD BRANCH: fix/docs-sync-with-code
DEFAULT BRANCH: main
Ran
Files 81
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: 85.947% (+0.003%) from 85.944%
22231011966.1

Pull #1028

github

web-flow 
Merge c8475e168 into e68a347b2
Pull Request #1028: Fix two verifier soundness bugs found by pentest

11241 of 13079 relevant lines covered (85.95%)

1697120.35 hits per line

Source Files on job run-Debug - 22231011966.1