goblint
/
analyzer
/
2148
62%
|
Ran
|
Jobs
1
|
Files
254
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.773% (-0.02%) from 62.789%
push
github
sim6423 of 3 new or added lines in 1 file covered. (100.0%)
69 existing lines in 3 files now uncovered.18771 of 29903 relevant lines covered (62.77%)
453828.39 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
54.5 |
-0.26% | src/maingoblint.ml |
| 1 |
66.67 |
-0.3% | src/domains/queries.ml |
| 67 |
59.47 |
-0.84% | src/domain/lattice.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 2148.1 | 254 |
62.77 |
GitHub Action Run |
