|
Ran
|
Jobs
2
|
Files
69
|
Run time
1min
|
Badge
README BADGES
|
github
109 of 122 new or added lines in 17 files covered. (89.34%)
1 existing line in 1 file now uncovered.8552 of 9706 relevant lines covered (88.11%)
9089054.61 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 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 |
|---|---|---|---|
| 1 |
95.68 |
-0.32% | src/crab_utils/adapt_sgraph.hpp |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Debug - 15175328890.1 | 69 |
86.01 |
GitHub Action Run | |
| 2 | run-Release - 15175328890.2 | 68 |
87.19 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|