goblint
/
analyzer
/
1934
63%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
254
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.883% (+0.1%) from 62.768%
github
web-flow5 of 8 new or added lines in 1 file covered. (62.5%)
18673 of 29695 relevant lines covered (62.88%)
460149.07 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
89.29 |
43.38% | src/util/library/libraryFunctions.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 1934.1 | 254 |
62.88 |
GitHub Action Run |
