|
Ran
|
Jobs
3
|
Files
78
|
Run time
2min
|
Badge
README BADGES
|
push
github
78 of 82 new or added lines in 6 files covered. (95.12%)
402 existing lines in 18 files now uncovered.10731 of 12159 relevant lines covered (88.26%)
837642.51 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
95.57 |
0.0% | src/crab/finite_domain.cpp |
| 1 |
92.53 |
0.87% | src/crab/zone_domain.cpp |
| 2 |
94.64 |
src/crab/type_to_num.hpp |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
91.67 |
-8.33% | src/result.hpp |
| 1 |
99.62 |
0.1% | src/test/test_join.cpp |
| 2 |
91.18 |
-2.94% | src/crab/var_registry.cpp |
| 3 |
0.0 |
0.0% | src/crab_utils/debug.hpp |
| 3 |
84.21 |
-0.79% | src/string_constraints.hpp |
| 5 |
98.54 |
-1.16% | src/test/test_conformance.cpp |
| 7 |
96.96 |
-0.05% | src/crab/ebpf_checker.cpp |
| 9 |
77.11 |
0.28% | src/ir/syntax.hpp |
| 10 |
93.16 |
-0.09% | src/crab/ebpf_transformer.cpp |
| 13 |
91.08 |
0.12% | src/fwd_analyzer.cpp |
| 20 |
92.53 |
0.87% | src/crab/zone_domain.cpp |
| 21 |
87.23 |
0.57% | src/crab/array_domain.cpp |
| 27 |
87.79 |
7.18% | src/ir/parse.cpp |
| 38 |
83.27 |
6.66% | src/crab/ebpf_domain.cpp |
| 44 |
78.69 |
-0.36% | src/test/ebpf_yaml.cpp |
| 46 |
90.53 |
4.17% | src/crab/type_domain.cpp |
| 74 |
76.51 |
1.04% | src/result.cpp |
| 78 |
58.77 |
7.54% | src/printing.cpp |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Release - 22160684311.1 | 0 | GitHub Action Run | ||
| 2 | run-Debug - 22160684311.2 | 78 |
86.28 |
GitHub Action Run | |
| 3 | run-Release - 22160684311.3 | 78 |
87.45 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|