goblint
/
analyzer
/
3516
65%
|
Ran
|
Jobs
1
|
Files
297
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 61.56% (-0.02%) from 61.576%
push
github
web-flow1 of 1 new or added line in 1 file covered. (100.0%)
832 existing lines in 17 files now uncovered.20853 of 33874 relevant lines covered (61.56%)
407785.97 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
89.06 |
-0.64% | src/analyses/accessAnalysis.ml |
| 1 |
92.86 |
1.95% | src/util/std/gobOption.ml |
| 3 |
85.71 |
2.38% | src/analyses/abortUnless.ml |
| 3 |
81.93 |
-0.22% | src/analyses/malloc_null.ml |
| 4 |
71.88 |
-1.65% | src/analyses/assert.ml |
| 5 |
67.65 |
1.93% | src/common/util/richVarinfo.ml |
| 6 |
76.92 |
1.31% | src/cdomain/value/domains/invariantCil.ml |
| 7 |
79.47 |
-0.11% | src/cdomain/value/cdomains/addressDomain.ml |
| 16 |
81.4 |
0.94% | src/incremental/compareCIL.ml |
| 21 |
0.0 |
0.0% | src/incremental/makefileUtil.ml |
| 43 |
56.81 |
-0.12% | src/common/framework/cfgTools.ml |
| 44 |
80.05 |
-0.1% | src/relationAnalysis.ml |
| 49 |
71.21 |
0.16% | src/autoTune.ml |
| 53 |
77.09 |
0.14% | src/analyses/baseInvariant.ml |
| 59 |
54.72 |
0.03% | src/maingoblint.ml |
| 236 |
65.95 |
-0.01% | src/cdomain/value/cdomains/arrayDomain.ml |
| 281 |
80.08 |
-0.03% | src/analyses/base.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3516.1 | 297 |
61.56 |
GitHub Action Run |
