goblint
/
analyzer
/
4504
65%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
324
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 64.916% (-0.5%) from 65.426%
github
web-flow6 of 283 new or added lines in 7 files covered. (2.12%)
22803 of 35127 relevant lines covered (64.92%)
394961.16 hits per line
Uncovered Changes
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 120 |
1.64 |
src/analyses/tutorials/gStoreWideningSol.ml | |
| 109 |
1.8 |
src/analyses/tutorials/gStoreWidening.ml | |
| 31 |
3.13 |
src/framework/simplifiedLifter.ml | |
| 10 |
0.0 |
src/analyses/tutorials/gStoreWideningHelper.ml | |
| 5 |
67.89 |
-0.9% | src/domains/queries.ml |
| 1 |
56.17 |
-0.08% | src/analyses/mCPRegistry.ml |
| 1 |
0.0 |
src/framework/simplifiedAnalysis.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 4504.1 | 324 |
64.92 |
GitHub Action Run |
