Alan-Jowett / ebpf-verifier / 15194704016
87%

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.11% (-0.07%) from 88.177%
15194704016

push

github

elazarg 
uniform class names and explicit constructors for adapt_sgraph.hpp

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

27 of 30 new or added lines in 1 file covered. (90.0%)

481 existing lines in 33 files now uncovered.

8552 of 9706 relevant lines covered (88.11%)

9089054.61 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
3
95.68
 -1.98% src/crab_utils/adapt_sgraph.hpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
90.91
 0.0% src/linux/gpl/spec_prototypes.cpp
1
99.78
 -0.0% src/test/test_marshal.cpp
2
95.12
 0.0% src/crab/split_dbm.hpp
2
67.24
 -0.56% src/crab_verifier.cpp
2
83.33
 0.0% src/string_constraints.hpp
2
88.64
 0.0% src/test/conformance_check.cpp
3
88.0
 0.0% src/crab_verifier.hpp
3
81.25
 0.0% src/program.hpp
4
92.16
 0.0% src/crab/bitset_domain.hpp
4
84.21
 0.0% src/crab/finite_domain.hpp
4
89.13
 0.0% src/crab/type_domain.cpp
4
95.68
 -1.98% src/crab_utils/adapt_sgraph.hpp
6
92.86
 -0.14% src/crab/interval.hpp
6
82.0
 -0.35% src/crab/var_factory.cpp
7
75.0
 0.0% src/linux/linux_platform.cpp
8
86.3
 0.0% src/asm_syntax.hpp
8
52.5
 0.0% src/crab/bitset_domain.cpp
8
65.22
 -1.45% src/crab/linear_constraint.hpp
9
86.32
 -0.14% src/crab/fwd_analyzer.cpp
10
96.27
 -0.04% src/crab/ebpf_checker.cpp
15
85.51
 0.0% src/asm_marshal.cpp
15
96.59
 0.22% src/crab/finite_domain.cpp
18
88.92
 0.36% src/crab/array_domain.cpp
18
75.68
 -0.9% src/crab/ebpf_domain.cpp
19
94.85
 0.03% src/crab/split_dbm.cpp
24
94.69
 0.0% src/asm_unmarshal.cpp
27
93.63
 -0.02% src/crab_utils/graph_ops.hpp
28
78.76
 1.13% src/asm_parse.cpp
29
96.25
 -0.03% src/crab/ebpf_transformer.cpp
29
73.36
 0.0% src/test/ebpf_yaml.cpp
35
64.79
 0.0% src/asm_cfg.cpp
40
86.83
 0.0% src/asm_files.cpp
90
53.32
 -0.45% src/asm_ostream.cpp
Jobs
ID Job ID Ran Files Coverage
1 run-Release - 15194704016.1 68
87.19
 GitHub Action Run
2 run-Debug - 15194704016.2 69
86.01
 GitHub Action Run
Source Files on build 15194704016