goblint
/
analyzer
/
3426
62%
master: 66%
master: 66%
|
Ran
|
Jobs
1
|
Files
295
|
Run time
3min
|
Badge
Embed ▾
README BADGES
|
coverage: 61.724% (+0.007%) from 61.717%
github
web-flow3 of 3 new or added lines in 1 file covered. (100.0%)
32 existing lines in 1 file now uncovered.20917 of 33888 relevant lines covered (61.72%)
407661.92 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 32 |
80.14 |
0.62% | src/relationAnalysis.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3426.1 | 295 |
61.72 |
GitHub Action Run |
