vbpf
/
prevail
/
18252276085
87%
|
Ran
|
Jobs
2
|
Files
74
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 88.267% (-0.1%) from 88.395%
push
github
web-flow1423 of 1495 new or added lines in 16 files covered. (95.18%)
27 existing lines in 7 files now uncovered.8922 of 10108 relevant lines covered (88.27%)
18313855.02 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
88.43 |
-0.9% | src/crab/array_domain.cpp |
| 2 |
95.27 |
-1.04% | src/crab/ebpf_checker.cpp |
| 2 |
95.45 |
-4.55% | src/crab/type_domain.hpp |
| 3 |
86.44 |
-1.97% | src/crab/type_domain.cpp |
| 5 |
80.47 |
1.71% | src/asm_parse.cpp |
| 14 |
91.52 |
src/crab/rcp.cpp | |
| 16 |
73.64 |
-4.01% | src/crab/ebpf_domain.cpp |
| 29 |
96.45 |
0.13% | src/crab/ebpf_transformer.cpp |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
73.64 |
-4.01% | src/crab/ebpf_domain.cpp |
| 1 |
96.45 |
0.13% | src/crab/ebpf_transformer.cpp |
| 4 |
77.88 |
1.96% | src/crab/add_bottom.hpp |
| 4 |
95.27 |
-1.04% | src/crab/ebpf_checker.cpp |
| 4 |
86.44 |
-1.97% | src/crab/type_domain.cpp |
| 6 |
92.47 |
-1.16% | src/crab_utils/graph_ops.hpp |
| 7 |
88.43 |
-0.9% | src/crab/array_domain.cpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Debug - 18252276085.1 | 74 |
86.1 |
GitHub Action Run | |
| 2 | run-Release - 18252276085.2 | 73 |
87.33 |
GitHub Action Run |
