|
Ran
|
Jobs
2
|
Files
69
|
Run time
1min
|
Badge
README BADGES
|
github
93 of 107 new or added lines in 18 files covered. (86.92%)
12 existing lines in 2 files now uncovered.8550 of 9704 relevant lines covered (88.11%)
9090928.01 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
91.84 |
0.0% | src/crab/bitset_domain.hpp |
| 1 |
75.32 |
0.0% | src/crab/linear_expression.hpp |
| 1 |
7.04 |
0.0% | src/crab_utils/stats.cpp |
| 2 |
88.92 |
0.0% | src/crab/array_domain.cpp |
| 2 |
75.68 |
-0.69% | src/crab/ebpf_domain.cpp |
| 2 |
93.63 |
-0.02% | src/crab_utils/graph_ops.hpp |
| 2 |
75.0 |
0.0% | src/linux/linux_platform.cpp |
| 3 |
95.68 |
-0.32% | src/crab_utils/adapt_sgraph.hpp |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 4 |
95.68 |
-0.32% | src/crab_utils/adapt_sgraph.hpp |
| 8 |
96.27 |
-0.01% | src/crab/ebpf_checker.cpp |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Debug - 15174898754.1 | 69 |
86.0 |
GitHub Action Run | |
| 2 | run-Release - 15174898754.2 | 68 |
87.19 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|