goblint / analyzer / 3153
66%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 290
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 61.699% (-0.2%) from 61.883%
3153

push

github

web-flow 
Merge pull request #1731 from goblint/delay-widening-cleanup

Use generic `Spec` lifters for delayed widening

15 of 29 new or added lines in 2 files covered. (51.72%)

67 existing lines in 10 files now uncovered.

20843 of 33782 relevant lines covered (61.7%)

408806.46 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
5
60.87
 -5.8% src/lifters/wideningDelay.ml
9
64.17
 -1.74% src/lifters/specLifters.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
52.75
 0.0% src/common/util/messages.ml
1
40.0
 -2.5% src/framework/resultQuery.ml
1
78.95
 -0.24% src/relationAnalysis.ml
2
86.27
 -0.6% src/analyses/mCP.ml
4
79.66
 -0.23% src/analyses/base.ml
4
61.13
 -1.13% src/domains/queries.ml
4
76.42
 -3.25% src/lifters/longjmpLifter.ml
5
64.17
 -1.74% src/lifters/specLifters.ml
13
31.31
 -2.91% src/witness/yamlWitnessType.ml
32
50.0
 -6.54% src/witness/yamlWitness.ml
Jobs
ID Job ID Ran Files Coverage
1 3153.1 290
61.7
 GitHub Action Run
Source Files on build 3153