goblint
/
analyzer
/
4034
65%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
313
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.447%. First build
github
web-flow97 of 119 new or added lines in 3 files covered. (81.51%)
22612 of 34550 relevant lines covered (65.45%)
404449.86 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
81.45 |
src/analyses/base.ml | |
| 21 |
72.36 |
src/cdomain/value/cdomains/floatDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 4034.1 | 313 |
65.45 |
GitHub Action Run |
