Alan-Jowett / ebpf-verifier / 22160684311
88%

DEFAULT BRANCH: main
Ran
Jobs 3
Files 78
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: 88.256% (+1.1%) from 87.142%
22160684311

push

github

elazarg 
lint

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

78 of 82 new or added lines in 6 files covered. (95.12%)

402 existing lines in 18 files now uncovered.

10731 of 12159 relevant lines covered (88.26%)

837642.51 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
95.57
 0.0% src/crab/finite_domain.cpp
1
92.53
 0.87% src/crab/zone_domain.cpp
2
94.64
 src/crab/type_to_num.hpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
91.67
 -8.33% src/result.hpp
1
99.62
 0.1% src/test/test_join.cpp
2
91.18
 -2.94% src/crab/var_registry.cpp
3
0.0
 0.0% src/crab_utils/debug.hpp
3
84.21
 -0.79% src/string_constraints.hpp
5
98.54
 -1.16% src/test/test_conformance.cpp
7
96.96
 -0.05% src/crab/ebpf_checker.cpp
9
77.11
 0.28% src/ir/syntax.hpp
10
93.16
 -0.09% src/crab/ebpf_transformer.cpp
13
91.08
 0.12% src/fwd_analyzer.cpp
20
92.53
 0.87% src/crab/zone_domain.cpp
21
87.23
 0.57% src/crab/array_domain.cpp
27
87.79
 7.18% src/ir/parse.cpp
38
83.27
 6.66% src/crab/ebpf_domain.cpp
44
78.69
 -0.36% src/test/ebpf_yaml.cpp
46
90.53
 4.17% src/crab/type_domain.cpp
74
76.51
 1.04% src/result.cpp
78
58.77
 7.54% src/printing.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 22160684311.1 0
GitHub Action Run
2 run-Debug - 22160684311.2 78
86.28
 GitHub Action Run
3 run-Release - 22160684311.3 78
87.45
 GitHub Action Run
Source Files on build 22160684311