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

LAST BUILD BRANCH: issue728
DEFAULT BRANCH: main
Ran
Jobs 2
Files 58
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.409% (-0.008%) from 90.417%
10682093790

Pull #672

github

web-flow 
Merge 5216b11fb into 37bf14674
Pull Request #672: Format all with clang-format

993 of 1098 new or added lines in 44 files covered. (90.44%)

19 existing lines in 10 files now uncovered.

8474 of 9373 relevant lines covered (90.41%)

12024070.31 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
88.24
 0.14% src/asm_files.cpp
1
95.0
 1.15% src/crab/var_factory.cpp
2
78.18
 0.45% src/asm_marshal.cpp
2
88.64
 -0.25% src/test/conformance_check.cpp
3
70.81
 0.28% src/asm_cfg.cpp
3
76.42
 0.1% src/crab/interval.cpp
3
94.43
 0.1% src/crab/split_dbm.cpp
3
78.67
 0.0% src/crab_verifier.cpp
3
72.97
 0.0% src/linux/linux_platform.cpp
4
72.88
 -0.62% src/crab/fwd_analyzer.cpp
5
52.5
 0.0% src/crab/bitset_domain.cpp
5
76.45
 0.14% src/ebpf_yaml.cpp
6
93.14
 -1.94% src/assertions.cpp
7
80.77
 -0.33% src/asm_parse.cpp
7
88.51
 1.35% src/crab/array_domain.cpp
8
39.24
 0.0% src/crab_utils/stats.cpp
9
94.0
 -0.13% src/crab/ebpf_domain.cpp
12
95.37
 -1.33% src/asm_unmarshal.cpp
21
55.53
 -0.64% src/asm_ostream.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
72.88
 -0.62% src/crab/fwd_analyzer.cpp
1
70.81
 0.28% src/asm_cfg.cpp
1
39.24
 0.0% src/crab_utils/stats.cpp
1
78.67
 0.0% src/crab_verifier.cpp
1
88.24
 0.14% src/asm_files.cpp
2
55.53
 -0.64% src/asm_ostream.cpp
2
94.43
 0.1% src/crab/split_dbm.cpp
3
80.77
 -0.33% src/asm_parse.cpp
3
94.0
 -0.13% src/crab/ebpf_domain.cpp
4
88.51
 1.35% src/crab/array_domain.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 10682093790.1 194
76.84
 GitHub Action Run
2 run-Release - 10682093790.2 192
79.29
 GitHub Action Run
Source Files on build 10682093790