vbpf / ebpf-verifier
88%
main: 87%

LAST BUILD BRANCH: issue855
DEFAULT BRANCH: main
Repo Added
Files 68
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

LAST BUILD ON BRANCH prepare-finite-domain
branch: prepare-finite-domain
CHANGE BRANCH
x

coverage: 88.194% (-0.5%) from 88.66%
13958095442

Pull #849

github

web-flow 
Merge c4e08aeb2 into ef03f28f6
Pull Request #849: Finite domain

847 of 898 new or added lines in 11 files covered. (94.32%)

57 existing lines in 8 files now uncovered.

8628 of 9783 relevant lines covered (88.19%)

9034663.84 hits per line

Relevant lines Covered
9783 RELEVANT LINES 8628 COVERED LINES
9034663.84 HITS PER LINE
Source Files on prepare-finite-domain

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
13958095442 prepare-finite-domain Merge c4e08aeb2 into ef03f28f6 Pull #849 web-flow github
88.19
13955482065 prepare-finite-domain Merge 89b36fe59 into ef03f28f6 Pull #849 web-flow github
88.27
13888463837 prepare-finite-domain Merge 2b3375482 into a50e20001 Pull #849 web-flow github
88.14
13887316915 prepare-finite-domain Merge b01477a17 into a50e20001 Pull #849 web-flow github
88.17
13886102917 prepare-finite-domain Merge e12cd81c3 into a50e20001 Pull #849 web-flow github
88.18
See All Builds (1196)