|
Ran
|
Jobs
2
|
Files
70
|
Run time
1min
|
Badge
README BADGES
|
github
114 of 126 new or added lines in 12 files covered. (90.48%)
29 existing lines in 3 files now uncovered.8563 of 9716 relevant lines covered (88.13%)
9077400.07 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
76.36 |
0.0% | src/crab/ebpf_domain.cpp |
| 2 |
94.73 |
-0.12% | src/crab/split_dbm.cpp |
| 2 |
84.75 |
src/crab/var_registry.cpp | |
| 3 |
53.51 |
0.19% | src/asm_ostream.cpp |
| 3 |
78.76 |
0.0% | src/asm_parse.cpp |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
72.73 |
0.0% | src/crab_utils/stats.hpp |
| 2 |
83.33 |
0.0% | src/string_constraints.hpp |
| 26 |
7.04 |
0.0% | src/crab_utils/stats.cpp |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Release - 15200380925.1 | 69 |
87.23 |
GitHub Action Run | |
| 2 | run-Debug - 15200380925.2 | 70 |
86.02 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|