goblint
/
analyzer
/
1605
62%
master: 62%
master: 62%
|
Ran
|
Jobs
1
|
Files
250
|
Run time
258min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.458%. First build
github
web-flow87 of 126 new or added lines in 12 files covered. (69.05%)
18379 of 29426 relevant lines covered (62.46%)
460372.44 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
57.14 |
src/common/framework/myCFG.ml | |
| 2 |
1.14 |
src/transform/expressionEvaluation.ml | |
| 3 |
62.01 |
src/framework/control.ml | |
| 3 |
80.47 |
src/witness/witnessUtil.ml | |
| 4 |
6.32 |
src/util/server.ml | |
| 26 |
56.09 |
src/witness/yamlWitness.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 1605.1 | 250 |
62.46 |
GitHub Action Run |
