• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Alan-Jowett / ebpf-verifier / 15194704016
87%

Build:
DEFAULT BRANCH: main
Ran 22 May 2025 07:16PM UTC
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

22 May 2025 08:53AM UTC 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 22 May 2025 07:16PM UTC 68
87.19
GitHub Action Run
2 run-Debug - 15194704016.2 22 May 2025 08:01PM UTC 69
86.01
GitHub Action Run
Source Files on build 15194704016
  • Tree
  • List 69
  • Changed 50
  • Source Changed 0
  • Coverage Changed 50
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 6b6c3200 on github
  • Prev Build on main (#14250552887)
  • Next Build on main (#18658728485)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc