goblint
/
analyzer
/
5097
67%
|
Ran
|
Jobs
1
|
Files
329
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.673% (-0.05%) from 65.723%
push
github
sim6421 of 1 new or added line in 1 file covered. (100.0%)
511 existing lines in 5 files now uncovered.23153 of 35255 relevant lines covered (65.67%)
395216.38 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 231 |
82.48
|
0.04% | src/analyses/base.ml |
| 140 |
65.99
|
0.07% | src/cdomain/value/cdomains/arrayDomain.ml |
| 117 |
43.09
|
-2.84% | src/witness/yamlWitnessType.ml |
| 15 |
76.35
|
0.28% | src/analyses/memOutOfBounds.ml |
| 8 |
60.87
|
-11.86% | src/witness/yamlWitnessVersion.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 5097.1 | 329 |
65.67
|
GitHub Action Run |
