|
Ran
|
Jobs
2
|
Files
69
|
Run time
1min
|
Badge
README BADGES
|
push
github
27 of 30 new or added lines in 1 file covered. (90.0%)
78 existing lines in 6 files now uncovered.8552 of 9706 relevant lines covered (88.11%)
9089054.61 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
95.68 |
-0.32% | src/crab_utils/adapt_sgraph.hpp |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
92.16 |
0.32% | src/crab/bitset_domain.hpp |
| 1 |
95.68 |
-0.32% | src/crab_utils/adapt_sgraph.hpp |
| 10 |
96.27 |
-0.01% | src/crab/ebpf_checker.cpp |
| 19 |
75.68 |
-0.69% | src/crab/ebpf_domain.cpp |
| 23 |
93.63 |
-0.02% | src/crab_utils/graph_ops.hpp |
| 24 |
94.69 |
0.0% | src/asm_unmarshal.cpp |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Debug - 15182259337.1 | 69 |
86.01 |
GitHub Action Run | |
| 2 | run-Release - 15182259337.2 | 68 |
87.19 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|