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

LAST BUILD BRANCH: issue785_repro
DEFAULT BRANCH: main
Ran
Jobs 2
Files 59
Run time 19s
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
3216030189

Pull #400

github

GitHub 
Merge 32d862e31 into 97eb94487
Pull Request #400: Add eBPF ISA conformance tests

304 of 323 new or added lines in 7 files covered. (94.12%)

121 existing lines in 4 files now uncovered.

4676 of 5652 relevant lines covered (82.73%)

338761.47 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
81.48
 -2.98% src/crab_verifier.cpp
6
77.39
 6.71% src/ebpf_yaml.cpp
9
76.92
 src/test/conformance_check.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
9
81.48
 -2.98% src/crab_verifier.cpp
10
77.39
 6.71% src/ebpf_yaml.cpp
17
83.36
 0.27% src/crab/split_dbm.cpp
85
91.27
 1.59% src/crab/ebpf_domain.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 3216030189.1 174
74.22
 GitHub Action Run
2 run-Debug - 3216030189.2 175
71.93
 GitHub Action Run
Source Files on build 3216030189