goblint
/
analyzer
/
311
62%
|
Ran
|
Jobs
1
|
Files
244
|
Run time
5s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.708% (+0.08%) from 59.626%
push
github
Simmo Saan
13 of 15 new or added lines in 1 file covered. (86.67%)
280 existing lines in 4 files now uncovered.16898 of 28301 relevant lines covered (59.71%)
54304.19 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
66.91 |
1.51% | src/cdomains/floatDomain.ml |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 34 |
76.53 |
1.86% | src/analyses/baseInvariant.ml |
| 41 |
38.64 |
-24.22% | src/analyses/libraryDesc.ml |
| 44 |
63.55 |
0.41% | src/domains/queries.ml |
| 161 |
66.91 |
1.51% | src/cdomains/floatDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 311.1 | 244 |
59.71 |
GitHub Action Run |
