vbpf / ebpf-verifier / 3373977578
84%
main: 91%

LAST BUILD BRANCH: issue785_repro
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
3373977578

Pull #410

github

GitHub 
Merge 52261d067 into c2a4edcb3
Pull Request #410: Add support for JSET and unsigned comparison

309 of 330 new or added lines in 7 files covered. (93.64%)

151 existing lines in 5 files now uncovered.

4464 of 5316 relevant lines covered (83.97%)

618216.9 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
91.29
 1.6% src/crab/ebpf_domain.cpp
4
84.91
 0.44% src/crab_verifier.cpp
5
84.38
 src/test/conformance_check.cpp
8
75.52
 4.84% src/ebpf_yaml.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
8
84.91
 0.44% src/crab_verifier.cpp
13
66.67
 1.53% src/string_constraints.cpp
15
83.33
 0.25% src/crab/split_dbm.cpp
28
75.52
 4.84% src/ebpf_yaml.cpp
87
91.29
 1.6% src/crab/ebpf_domain.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 3373977578.1 174
74.2
 GitHub Action Run
2 run-Debug - 3373977578.2 175
71.91
 GitHub Action Run
Source Files on build 3373977578