goblint
/
analyzer
/
206
62%
|
Ran
|
Jobs
1
|
Files
243
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.307% (+0.04%) from 59.269%
push
github
GitHub
5 of 6 new or added lines in 2 files covered. (83.33%)
936 existing lines in 20 files now uncovered.16460 of 27754 relevant lines covered (59.31%)
55129.64 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
79.75 |
0.01% | src/analyses/base.ml |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
68.57 |
14.22% | src/domains/flagHelper.ml |
| 3 |
74.26 |
0.22% | src/domains/access.ml |
| 8 |
72.41 |
0.0% | src/analyses/commonPriv.ml |
| 10 |
56.25 |
0.0% | src/cdomains/lockDomain.ml |
| 14 |
6.0 |
-0.25% | src/util/sarif.ml |
| 16 |
79.61 |
0.0% | src/cdomains/threadIdDomain.ml |
| 26 |
30.16 |
0.0% | src/cdomains/baseDomain.ml |
| 29 |
27.66 |
-0.76% | src/cdomains/basetype.ml |
| 29 |
33.54 |
-0.43% | src/framework/analyses.ml |
| 30 |
77.0 |
-0.02% | src/relationAnalysis.ml |
| 31 |
5.03 |
0.0% | src/domains/hoareDomain.ml |
| 32 |
63.14 |
0.0% | src/domains/queries.ml |
| 35 |
78.85 |
0.69% | src/cdomains/addressDomain.ml |
| 39 |
50.6 |
-0.63% | src/util/messages.ml |
| 51 |
73.57 |
0.0% | src/relationPriv.ml |
| 72 |
55.29 |
0.0% | src/util/cilType.ml |
| 84 |
79.75 |
0.01% | src/analyses/base.ml |
| 120 |
30.96 |
0.22% | src/domains/printable.ml |
| 152 |
30.0 |
0.34% | src/domains/mapDomain.ml |
| 154 |
19.38 |
0.0% | src/domains/disjointDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 206.1 | 243 |
59.31 |
GitHub Action Run |
