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

LAST BUILD BRANCH: bpf2bpf-stack
DEFAULT BRANCH: main
Ran
Jobs 2
Files 60
Run time 2min
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: 90.38% (-0.03%) from 90.409%
10874598984

Pull #673

github

web-flow 
Merge 9a03eedc4 into d5df1a0e5
Pull Request #673: Lint, tidy and use C++20 features

1477 of 1592 new or added lines in 50 files covered. (92.78%)

29 existing lines in 7 files now uncovered.

8362 of 9252 relevant lines covered (90.38%)

13705497.82 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
93.14
 0.0% src/assertions.cpp
1
94.93
 0.5% src/crab/split_dbm.cpp
1
0.0
 0.0% src/crab_utils/debug.cpp
1
99.77
 -0.01% src/test/test_marshal.cpp
2
70.53
 -0.28% src/asm_cfg.cpp
2
88.26
 0.02% src/asm_files.cpp
2
0.0
 0.0% src/crab_utils/safeint.hpp
2
0.0
 -39.24% src/crab_utils/stats.cpp
2
76.27
 -0.18% src/ebpf_yaml.cpp
2
72.97
 0.0% src/linux/linux_platform.cpp
3
52.5
 0.0% src/crab/bitset_domain.cpp
3
97.64
 -2.36% src/crab/wto.cpp
5
73.28
 0.39% src/crab/fwd_analyzer.cpp
7
76.42
 0.0% src/crab/interval.cpp
8
80.54
 -0.22% src/asm_parse.cpp
9
88.84
 0.32% src/crab/array_domain.cpp
10
78.54
 0.36% src/asm_marshal.cpp
13
89.34
 src/crab/type_domain.cpp
17
54.88
 -0.65% src/asm_ostream.cpp
24
94.38
 0.37% src/crab/ebpf_domain.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
70.53
 -0.28% src/asm_cfg.cpp
1
80.54
 -0.22% src/asm_parse.cpp
1
88.84
 0.32% src/crab/array_domain.cpp
2
76.42
 0.0% src/crab/interval.cpp
2
94.93
 0.5% src/crab/split_dbm.cpp
4
94.38
 0.37% src/crab/ebpf_domain.cpp
18
0.0
 -39.24% src/crab_utils/stats.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 10874598984.1 208
75.09
 GitHub Action Run
2 run-Release - 10874598984.2 206
77.67
 GitHub Action Run
Source Files on build 10874598984