goblint
/
analyzer
/
308
62%
|
Ran
|
Jobs
1
|
Files
243
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.626% (+0.3%) from 59.33%
push
github
GitHub
345 of 377 new or added lines in 2 files covered. (91.51%)
31 existing lines in 6 files now uncovered.16768 of 28122 relevant lines covered (59.63%)
54392.03 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 32 |
83.78 |
2.51% | src/analyses/libraryFunctions.ml |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
79.7 |
-0.07% | src/analyses/base.ml |
| 1 |
54.72 |
-0.28% | src/analyses/varEq.ml |
| 1 |
74.01 |
-0.12% | src/cdomains/valueDomain.ml |
| 1 |
73.84 |
-0.42% | src/domains/access.ml |
| 4 |
62.86 |
-11.43% | src/analyses/libraryDesc.ml |
| 23 |
83.78 |
2.51% | src/analyses/libraryFunctions.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 308.1 | 243 |
59.63 |
GitHub Action Run |
