vbpf / ebpf-verifier / 13958095442
88%
main: 87%

LAST BUILD BRANCH: issue855
DEFAULT BRANCH: main
Ran
Jobs 2
Files 69
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.194% (-0.5%) from 88.66%
13958095442

Pull #849

github

web-flow 
Merge c4e08aeb2 into ef03f28f6
Pull Request #849: Finite domain

847 of 898 new or added lines in 11 files covered. (94.32%)

57 existing lines in 8 files now uncovered.

8628 of 9783 relevant lines covered (88.19%)

9034663.84 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
53.77
 0.0% src/asm_ostream.cpp
2
94.82
 -0.24% src/crab/split_dbm.cpp
4
76.58
 -1.8% src/crab/ebpf_domain.cpp
6
84.21
 src/crab/finite_domain.hpp
16
96.28
 -0.0% src/crab/ebpf_transformer.cpp
22
96.37
 src/crab/finite_domain.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
88.55
 -0.23% src/crab/array_domain.cpp
1
89.13
 -0.43% src/crab/type_domain.cpp
2
94.82
 -0.24% src/crab/split_dbm.cpp
3
81.31
 -3.65% src/crab/add_bottom.hpp
5
76.58
 -1.8% src/crab/ebpf_domain.cpp
7
96.28
 -0.0% src/crab/ebpf_transformer.cpp
19
77.63
 -8.39% src/asm_parse.cpp
19
52.5
 -47.5% src/crab/bitset_domain.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 13958095442.1 69
86.09
 GitHub Action Run
2 run-Release - 13958095442.2 68
87.29
 GitHub Action Run
Source Files on build 13958095442