vbpf / prevail / 22188849706
88%
main: 88%

LAST BUILD BRANCH: bump-ebpf-samples
DEFAULT BRANCH: main
Ran
Jobs 2
Files 78
Run time 1min
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
coverage: 88.029% (-0.1%) from 88.157%
22188849706

Pull #1022

github

web-flow 
Merge 0a45abd1c into 9590c971d
Pull Request #1022: Callbacks

198 of 236 new or added lines in 10 files covered. (83.9%)

21 existing lines in 3 files now uncovered.

10832 of 12305 relevant lines covered (88.03%)

2176210.64 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
58.69
 -0.08% src/printing.cpp
2
93.81
 1.26% src/ir/assertions.cpp
3
93.17
 0.01% src/crab/ebpf_transformer.cpp
3
87.43
 -1.2% src/crab/type_to_num.cpp
4
93.24
 -0.55% src/ir/unmarshal.cpp
11
89.91
 -0.63% src/crab/type_domain.cpp
14
91.83
 -5.13% src/crab/ebpf_checker.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
93.81
 1.26% src/ir/assertions.cpp
2
93.24
 -0.55% src/ir/unmarshal.cpp
18
71.43
 -21.79% src/arith/linear_expression.hpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 22188849706.1 78
85.86
 GitHub Action Run
2 run-Release - 22188849706.2 78
87.11
 GitHub Action Run
Source Files on build 22188849706