goblint
/
analyzer
/
3036
65%
|
Ran
|
Jobs
1
|
Files
281
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 61.46% (+0.04%) from 61.422%
push
github
michael-schwarz1 of 1 new or added line in 1 file covered. (100.0%)
642 existing lines in 16 files now uncovered.19634 of 31946 relevant lines covered (61.46%)
430879.71 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
76.91 |
-0.1% | src/analyses/baseInvariant.ml |
| 1 |
85.0 |
-1.49% | src/autoTune0.ml |
| 1 |
89.46 |
-0.26% | src/cdomain/value/cdomains/int/bitfieldDomain.ml |
| 1 |
74.4 |
-0.3% | src/cdomain/value/cdomains/int/congruenceDomain.ml |
| 2 |
75.61 |
0.0% | src/cdomain/value/domains/invariantCil.ml |
| 3 |
77.48 |
-0.29% | src/analyses/mutexAnalysis.ml |
| 6 |
83.78 |
-1.22% | src/analyses/tutorials/constants.ml |
| 16 |
72.18 |
0.0% | src/autoTune.ml |
| 25 |
81.78 |
0.07% | src/sharedFunctions.ml |
| 33 |
73.67 |
-0.16% | src/domains/access.ml |
| 35 |
63.22 |
-0.14% | src/cdomain/value/cdomains/structDomain.ml |
| 44 |
79.14 |
0.05% | src/relationAnalysis.ml |
| 85 |
65.91 |
4.04% | src/lifters/specLifters.ml |
| 109 |
63.33 |
-0.21% | src/common/util/cilfacade.ml |
| 118 |
79.89 |
0.06% | src/analyses/base.ml |
| 162 |
71.35 |
0.07% | src/cdomain/value/cdomains/valueDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3036.1 | 281 |
61.46 |
GitHub Action Run |
