Alan-Jowett
/
ebpf-verifier
/
18949625295
87%
|
Ran
|
Jobs
2
|
Files
74
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 87.448% (-1.0%) from 88.47%
push
github
elazarg9022 of 10317 relevant lines covered (87.45%)
10783407.68 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
75.63 |
1.99% | src/crab/ebpf_domain.cpp |
| 1 |
81.08 |
-2.7% | src/crab/finite_domain.hpp |
| 1 |
95.48 |
-0.12% | src/crab/split_dbm.cpp |
| 1 |
91.67 |
0.0% | src/linux/gpl/spec_prototypes.cpp |
| 1 |
73.61 |
-1.39% | src/linux/linux_platform.cpp |
| 1 |
97.87 |
0.0% | src/test/test_print.cpp |
| 1 |
99.75 |
-0.25% | src/test/test_verify.cpp |
| 2 |
84.21 |
0.0% | src/string_constraints.hpp |
| 3 |
85.71 |
-8.73% | src/crab/split_dbm.hpp |
| 4 |
75.0 |
-2.88% | src/crab/add_bottom.hpp |
| 4 |
86.19 |
-0.25% | src/crab/type_domain.cpp |
| 6 |
97.5 |
2.2% | src/crab/ebpf_checker.cpp |
| 8 |
86.51 |
-1.93% | src/crab/array_domain.cpp |
| 13 |
74.47 |
-4.61% | src/crab/interval.cpp |
| 13 |
88.82 |
-2.69% | src/crab/rcp.cpp |
| 37 |
94.06 |
-2.39% | src/crab/ebpf_transformer.cpp |
| 40 |
75.82 |
2.24% | src/test/ebpf_yaml.cpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Debug - 18949625295.1 | 74 |
85.16 |
GitHub Action Run | |
| 2 | run-Release - 18949625295.2 | 73 |
86.54 |
GitHub Action Run |
