vbpf
/
prevail
/
21257511033
87%
main: 87%
main: 87%
|
Ran
|
Jobs
2
|
Files
74
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 86.612% (-0.05%) from 86.664%
github
web-flow11 of 18 new or added lines in 2 files covered. (61.11%)
9038 of 10435 relevant lines covered (86.61%)
3862225.63 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
86.08 |
-0.52% | src/crab/array_domain.cpp |
| 4 |
50.0 |
-50.0% | src/verifier.hpp |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-Release - 21257511033.1 | 73 |
85.73 |
GitHub Action Run | |
| 2 | run-Debug - 21257511033.2 | 74 |
84.25 |
GitHub Action Run |
