goblint
/
analyzer
/
3937
65%
master: 66%
master: 66%
|
Ran
|
Jobs
1
|
Files
312
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.446%. First build
github
web-flow136 of 169 new or added lines in 30 files covered. (80.47%)
22490 of 34364 relevant lines covered (65.45%)
405894.62 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
81.25 |
src/analyses/base.ml | |
| 1 |
77.63 |
src/analyses/baseInvariant.ml | |
| 1 |
59.26 |
src/analyses/condVars.ml | |
| 1 |
73.72 |
src/analyses/memOutOfBounds.ml | |
| 1 |
4.65 |
src/analyses/tutorials/taint.ml | |
| 1 |
66.54 |
src/cdomain/value/cdomains/arrayDomain.ml | |
| 1 |
75.08 |
src/cdomain/value/cdomains/int/congruenceDomain.ml | |
| 1 |
89.22 |
src/cdomain/value/cdomains/int/intDomTuple.ml | |
| 1 |
80.58 |
src/cdomain/value/cdomains/offset.ml | |
| 1 |
72.89 |
src/cdomain/value/cdomains/valueDomain.ml | |
| 1 |
59.46 |
src/cdomains/unionFind.ml | |
| 2 |
52.16 |
src/cdomains/symbLocksDomain.ml | |
| 2 |
36.36 |
src/common/cdomains/basetype.ml | |
| 3 |
61.6 |
src/analyses/varEq.ml | |
| 4 |
53.41 |
src/common/util/cilType.ml | |
| 11 |
75.77 |
src/cdomain/value/cdomains/intDomain0.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3937.1 | 312 |
65.45 |
GitHub Action Run |
