goblint
/
analyzer
/
567
62%
|
Ran
|
Jobs
1
|
Files
245
|
Run time
8s
|
Badge
Embed ▾
README BADGES
|
coverage: 60.323% (+0.2%) from 60.141%
push
github
GitHub
91 of 91 new or added lines in 3 files covered. (100.0%)
17467 of 28956 relevant lines covered (60.32%)
61060.65 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 4 |
85.73 |
0.01% | src/analyses/libraryFunctions.ml |
| 21 |
70.21 |
15.09% | src/analyses/memOutOfBounds.ml |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
49.09 |
-0.3% | src/domains/lattice.ml |
| 1 |
62.86 |
-2.86% | src/domains/valueDomainQueries.ml |
| 3 |
39.73 |
0.0% | src/analyses/libraryDesc.ml |
| 23 |
78.1 |
0.07% | src/analyses/useAfterFree.ml |
| 41 |
66.02 |
1.66% | src/domains/queries.ml |
| 43 |
85.73 |
0.01% | src/analyses/libraryFunctions.ml |
| 131 |
82.5 |
0.55% | src/analyses/base.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 567.1 | 245 |
60.32 |
GitHub Action Run |
