vbpf / ebpf-verifier / 12845504567
87%

DEFAULT BRANCH: main
Ran
Jobs 2
Files 66
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.169% (-1.5%) from 89.646%

Uncovered Existing Lines

Lines Coverage ∆ File
1
89.57
 -0.26% src/crab/type_domain.cpp
1
96.86
 -0.48% src/assertions.cpp
1
93.65
 0.0% src/crab_utils/graph_ops.hpp
1
92.31
 -7.69% src/crab_utils/lazy_allocator.hpp
1
97.14
 -2.86% src/crab/label.hpp
2
73.47
 -0.71% src/test/ebpf_yaml.cpp
2
91.3
 -8.7% src/crab/wto.hpp
2
78.24
 -0.52% src/crab/interval.cpp
3
83.33
 -16.67% src/string_constraints.hpp
3
72.73
 -27.27% src/crab_utils/stats.hpp
3
88.0
 -12.0% src/crab_verifier.hpp
3
81.25
 -18.75% src/program.hpp
4
97.66
 -2.34% src/crab_utils/adapt_sgraph.hpp
4
92.16
 -7.84% src/crab/bitset_domain.hpp
4
95.6
 -4.4% src/crab_utils/num_extended.hpp
5
96.24
 -0.27% src/crab/ebpf_transformer.cpp
7
86.0
 -14.0% src/crab/split_dbm.hpp
10
85.51
 -14.49% src/asm_syntax.hpp
13
90.65
 -9.35% src/crab/interval.hpp
16
66.67
 -33.33% src/crab/linear_constraint.hpp
18
80.0
 -20.0% src/crab_utils/num_big.hpp
19
83.19
 -16.81% src/crab/add_bottom.hpp
19
75.64
 -24.36% src/crab/linear_expression.hpp
26
53.57
 -46.43% src/crab/cfg.hpp
Jobs
ID Job ID Ran Files Coverage
1 run-Debug - 12845504567.1 66
86.02
 GitHub Action Run
2 run-Release - 12845504567.2 65
87.35
 GitHub Action Run
Source Files on build 12845504567