goblint
/
analyzer
/
1911
62%
|
Ran
|
Jobs
1
|
Files
253
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.704% (-0.04%) from 62.744%
push
github
michael-schwarz1 of 1 new or added line in 1 file covered. (100.0%)
635 existing lines in 7 files now uncovered.18670 of 29775 relevant lines covered (62.7%)
458502.91 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
31.25 |
-6.25% | src/cdomains/threadFlagDomain.ml |
| 1 |
30.16 |
-1.59% | src/cdomains/baseDomain.ml |
| 2 |
60.3 |
-0.61% | src/domain/lattice.ml |
| 22 |
68.42 |
1.75% | src/analyses/commonPriv.ml |
| 112 |
71.52 |
-3.48% | src/relationPriv.ml |
| 172 |
65.04 |
-0.07% | src/analyses/basePriv.ml |
| 325 |
78.82 |
0.47% | src/cdomain/value/cdomains/intDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 1911.1 | 253 |
62.7 |
GitHub Action Run |
