goblint
/
analyzer
/
977
62%
|
Ran
|
Jobs
1
|
Files
237
|
Run time
14s
|
Badge
Embed ▾
README BADGES
|
coverage: 61.434% (+0.001%) from 61.433%
push
github
web-flow18255 of 29715 relevant lines covered (61.43%)
64829.4 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
53.37 |
-0.61% | src/analyses/mCPRegistry.ml |
| 1 |
53.69 |
0.23% | src/cdomains/symbLocksDomain.ml |
| 2 |
68.12 |
-0.22% | src/framework/constraints.ml |
| 3 |
72.22 |
0.0% | src/cdomains/unionDomain.ml |
| 13 |
68.29 |
1.63% | src/analyses/commonPriv.ml |
| 18 |
83.59 |
3.74% | src/cdomains/regionDomain.ml |
| 24 |
77.08 |
0.0% | src/cdomains/threadIdDomain.ml |
| 38 |
35.33 |
0.0% | src/framework/analyses.ml |
| 53 |
65.22 |
0.0% | src/domains/queries.ml |
| 76 |
49.09 |
0.0% | src/domain/lattice.ml |
| 135 |
30.12 |
0.75% | src/common/domains/printable.ml |
| 190 |
54.92 |
-0.1% | src/analyses/basePriv.ml |
| 219 |
69.62 |
0.0% | src/cdomains/intDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 977.1 | 237 |
61.43 |
GitHub Action Run |
