goblint
/
analyzer
/
2395
62%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
266
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.652%. Remained the same
github
web-flow1648 of 2071 new or added lines in 7 files covered. (79.58%)
18760 of 29943 relevant lines covered (62.65%)
452873.62 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 32 |
88.24 |
src/cdomain/value/cdomains/int/intDomTuple.ml | |
| 40 |
87.18 |
src/cdomain/value/cdomains/int/intervalSetDomain.ml | |
| 49 |
77.93 |
src/cdomain/value/cdomains/int/enumsDomain.ml | |
| 54 |
81.82 |
src/cdomain/value/cdomains/int/defExcDomain.ml | |
| 61 |
77.82 |
src/cdomain/value/cdomains/int/intervalDomain.ml | |
| 78 |
73.74 |
src/cdomain/value/cdomains/int/congruenceDomain.ml | |
| 109 |
72.47 |
src/cdomain/value/cdomains/intDomain0.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 2395.1 | 266 |
62.65 |
GitHub Action Run |
