goblint
/
analyzer
/
289
62%
|
Ran
|
Jobs
1
|
Files
243
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.33%. Remained the same
push
github
GitHub
10 of 14 new or added lines in 2 files covered. (71.43%)
101 existing lines in 2 files now uncovered.16499 of 27809 relevant lines covered (59.33%)
55113.16 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
79.76 |
0.0% | src/analyses/base.ml |
| 3 |
45.71 |
0.0% | src/util/messageCategory.ml |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 42 |
45.71 |
0.0% | src/util/messageCategory.ml |
| 59 |
79.76 |
0.0% | src/analyses/base.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 289.1 | 243 |
59.33 |
GitHub Action Run |
