goblint
/
analyzer
/
1710
62%
|
Ran
|
Jobs
1
|
Files
250
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.717% (-0.001%) from 62.718%
push
github
sim64218553 of 29582 relevant lines covered (62.72%)
458160.48 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
71.47 |
-0.3% | src/affineEqualityDomain.ml |
| 67 |
76.2 |
0.05% | src/analyses/baseInvariant.ml |
| 157 |
71.69 |
0.03% | src/cdomain/value/cdomains/valueDomain.ml |
| 175 |
79.98 |
-0.14% | src/analyses/base.ml |
| 355 |
77.69 |
-0.09% | src/cdomain/value/cdomains/intDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 1710.1 | 250 |
62.72 |
GitHub Action Run |
