goblint
/
analyzer
/
2303
63%
master: 62%
master: 62%
|
Ran
|
Jobs
1
|
Files
255
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.673% (+0.02%) from 62.658%
github
web-flow57 of 77 new or added lines in 8 files covered. (74.03%)
18775 of 29957 relevant lines covered (62.67%)
452912.2 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
64.54 |
0.0% | src/analyses/basePriv.ml |
| 3 |
66.57 |
-0.1% | src/domains/queries.ml |
| 15 |
71.7 |
src/framework/contextGasLifter.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 2303.1 | 255 |
62.67 |
GitHub Action Run |
