goblint
/
analyzer
/
312
62%
|
Ran
|
Jobs
1
|
Files
244
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.708%. Remained the same
push
github
Simmo Saan
13 of 15 new or added lines in 1 file covered. (86.67%)
59 existing lines in 1 file now uncovered.16898 of 28301 relevant lines covered (59.71%)
54304.19 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
66.91 |
0.0% | src/cdomains/floatDomain.ml |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 59 |
66.91 |
0.0% | src/cdomains/floatDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 312.1 | 244 |
59.71 |
GitHub Action Run |
