vbpf / ebpf-verifier / 3229648343
90%
main: 91%

LAST BUILD BRANCH: bpf2bpf-stack
DEFAULT BRANCH: main
Ran
Jobs 2
Files 59
Run time 13s
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
3229648343

Pull #400

github

GitHub 
Merge 9603a64d0 into 97eb94487
Pull Request #400: Add eBPF ISA conformance tests

328 of 349 new or added lines in 8 files covered. (93.98%)

72 existing lines in 4 files now uncovered.

4693 of 5666 relevant lines covered (82.83%)

337963.28 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
91.62
 1.94% src/crab/ebpf_domain.cpp
4
81.65
 -2.81% src/crab_verifier.cpp
6
77.27
 6.6% src/ebpf_yaml.cpp
9
76.92
 src/test/conformance_check.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
10
81.65
 -2.81% src/crab_verifier.cpp
12
77.27
 6.6% src/ebpf_yaml.cpp
17
83.36
 0.27% src/crab/split_dbm.cpp
33
91.62
 1.94% src/crab/ebpf_domain.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 3229648343.1 174
74.32
 GitHub Action Run
2 run-Debug - 3229648343.2 175
72.01
 GitHub Action Run
Source Files on build 3229648343