goblint
/
analyzer
/
5296
67%
master: 67%
master: 67%
|
Ran
|
Jobs
1
|
Files
329
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 66.643%. Remained the same
github
web-flow3 of 3 new or added lines in 3 files covered. (100.0%)
38 existing lines in 1 file now uncovered.23571 of 35369 relevant lines covered (66.64%)
397949.88 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 38 |
55.56
|
0.0% | src/analyses/mCPRegistry.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 5296.1 | 329 |
66.64
|
GitHub Action Run |
