Alan-Jowett / ebpf-verifier / 31421448145
86%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 79
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: 85.986% (-0.8%) from 86.764%

Coverage Regressions

Lines Coverage ∆ File
57
91.24
 -0.69% src/crab/ebpf_transformer.cpp
41
84.8
 -0.36% src/crab/array_domain.cpp
32
89.19
 -0.39% src/crab/ebpf_checker.cpp
14
55.94
 -1.1% src/printing.cpp
6
76.45
 -2.64% src/crab/ebpf_domain.cpp
5
83.39
 -1.04% src/io/elf_reader.cpp
4
84.43
 -2.63% src/crab/type_to_num.cpp
4
88.52
 -6.93% src/io/elf_extern_resolve.cpp
4
88.79
 -2.21% src/ir/assertions.cpp
3
94.74
 -0.47% src/crab/finite_domain.cpp
2
98.06
 -0.04% src/arith/num_int128.hpp
2
87.12
 -1.85% src/cfg/wto.cpp
2
90.93
 -0.61% src/crab/type_domain.cpp
2
85.9
 -2.56% src/crab/var_registry.cpp
2
73.11
 -1.19% src/io/elf_map_parser.cpp
1
70.13
 -1.3% src/arith/linear_expression.hpp
1
90.0
 -2.42% src/crab/bitset_domain.hpp
1
66.67
 -33.33% src/crab/extrapolator.hpp
1
90.62
 -0.45% src/crab/zone_domain.cpp
1
87.85
 -0.76% src/ir/cfg_builder.cpp
1
84.56
 -0.57% src/linux/linux_platform.cpp
1
76.75
 -0.96% src/result.cpp
Jobs
ID Job ID Ran Files Coverage
1 31421448145.1 79
85.99
 GitHub Action Run
Source Files on build 31421448145