goblint
/
analyzer
/
5130
66%
master: 67%
master: 67%
|
Ran
|
Jobs
1
|
Files
337
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 66.121% (-0.5%) from 66.619%
github
web-flow125 of 346 new or added lines in 6 files covered. (36.13%)
23912 of 36164 relevant lines covered (66.12%)
385433.61 hits per line
Uncovered Changes
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 55 |
43.88
|
src/cdomains/pentagon/zExt.ml | |
| 54 |
32.5
|
src/cdomains/pentagon/intv.ml | |
| 42 |
0.0
|
src/cdomains/pentagon/stringUtils.ml | |
| 28 |
53.33
|
src/cdomains/pentagon/subs.ml | |
| 24 |
22.58
|
src/cdomains/pentagon/pntg.ml | |
| 18 |
48.57
|
src/cdomains/pentagon/boxes.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 5130.1 | 337 |
66.12
|
GitHub Action Run |
