goblint
/
analyzer
/
213
62%
|
Ran
|
Jobs
1
|
Files
243
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.307%. Remained the same
push
github
GitHub
5 of 6 new or added lines in 2 files covered. (83.33%)
77 existing lines in 3 files now uncovered.16460 of 27754 relevant lines covered (59.31%)
55129.64 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
79.75 |
0.0% | src/analyses/base.ml |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 5 |
74.29 |
0.0% | src/analyses/libraryDesc.ml |
| 30 |
79.75 |
0.0% | src/analyses/base.ml |
| 42 |
81.27 |
0.0% | src/analyses/libraryFunctions.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 213.1 | 243 |
59.31 |
GitHub Action Run |
