goblint
/
analyzer
/
4353
65%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
326
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 64.648%. First build
github
web-flow119 of 389 new or added lines in 12 files covered. (30.59%)
23159 of 35823 relevant lines covered (64.65%)
387134.59 hits per line
Uncovered Changes
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 103 |
0.0 |
src/framework/fwdCompareConstraints.ml | |
| 64 |
35.84 |
src/common/domains/printable.ml | |
| 37 |
57.06 |
src/domain/lattice.ml | |
| 23 |
50.69 |
src/framework/analyses.ml | |
| 14 |
0.7 |
src/solver/td_simplified_ref_improved.ml | |
| 12 |
62.69 |
src/framework/fwdConstraints.ml | |
| 7 |
0.0 |
src/framework/compareConstraints.ml | |
| 4 |
40.0 |
src/framework/analysisResult.ml | |
| 4 |
52.43 |
src/framework/fwdControl.ml | |
| 2 |
0.0 |
src/lifters/noDigestLifter.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 4353.1 | 326 |
64.65 |
GitHub Action Run |
