goblint
/
analyzer
/
72
62%
|
Ran
|
Jobs
1
|
Files
241
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.186% (-0.09%) from 59.274%
push
github
GitHub
108 of 136 new or added lines in 6 files covered. (79.41%)
29 existing lines in 9 files now uncovered.16349 of 27623 relevant lines covered (59.19%)
54183.62 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
72.24 |
0.32% | src/util/cilfacade.ml |
| 2 |
80.0 |
-0.26% | src/analyses/raceAnalysis.ml |
| 2 |
51.23 |
-0.03% | src/util/messages.ml |
| 4 |
87.14 |
-2.56% | src/analyses/accessAnalysis.ml |
| 19 |
77.27 |
-4.47% | src/domains/access.ml |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
82.2 |
-0.85% | src/cdomains/regionDomain.ml |
| 1 |
73.89 |
-0.12% | src/cdomains/valueDomain.ml |
| 2 |
96.3 |
-3.7% | src/analyses/wrapperFunctionAnalysis.ml |
| 3 |
69.34 |
-0.15% | src/cdomains/intDomain.ml |
| 3 |
83.33 |
-0.92% | src/cdomains/offset.ml |
| 4 |
30.74 |
-1.41% | src/domains/printable.ml |
| 5 |
28.42 |
-5.26% | src/cdomains/basetype.ml |
| 5 |
77.27 |
-4.47% | src/domains/access.ml |
| 5 |
65.71 |
-14.29% | src/util/richVarinfo.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 72.1 | 241 |
59.19 |
GitHub Action Run |
