vbpf / ebpf-verifier / 3119384998
81%
main: 91%

LAST BUILD BRANCH: issue785_repro
DEFAULT BRANCH: main
Ran
Jobs 2
Files 57
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
3119384998

Pull #390

github

GitHub 
Merge b5e182ff7 into 79bf1573c
Pull Request #390: Revert 384 divmod fix

5 of 9 new or added lines in 4 files covered. (55.56%)

24 existing lines in 3 files now uncovered.

4271 of 5253 relevant lines covered (81.31%)

691602.36 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
50.36
 -13.09% src/crab/interval.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
2
82.82
 -0.27% src/crab/split_dbm.cpp
10
89.15
 -1.0% src/crab/ebpf_domain.cpp
12
50.36
 -13.09% src/crab/interval.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 3119384998.1 171
71.83
 GitHub Action Run
2 run-Debug - 3119384998.2 172
69.08
 GitHub Action Run
Source Files on build 3119384998