goblint
/
analyzer
/
2215
65%
|
Ran
|
Jobs
1
|
Files
254
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.835% (+0.07%) from 62.769%
push
github
sim64218748 of 29837 relevant lines covered (62.83%)
454628.94 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
5.88 |
-6.12% | src/cdomains/pthreadDomain.ml |
| 5 |
85.0 |
-0.37% | src/cdomains/mHP.ml |
| 8 |
73.05 |
-0.07% | src/cdomain/value/cdomains/floatDomain.ml |
| 8 |
25.93 |
-4.23% | src/cdomains/baseDomain.ml |
| 10 |
45.0 |
-5.0% | src/relationDomain.ml |
| 14 |
71.6 |
0.0% | src/framework/analyses.ml |
| 31 |
61.72 |
2.25% | src/domain/lattice.ml |
| 55 |
31.18 |
1.01% | src/common/domains/printable.ml |
| 365 |
78.63 |
-0.09% | src/cdomain/value/cdomains/intDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 2215.1 | 254 |
62.83 |
GitHub Action Run |
