goblint / analyzer / 4899
66%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 326
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: 65.407% (+0.02%) from 65.389%
4899

push

github

web-flow 
Merge pull request #2145 from goblint/region-unlift

Remove unnecessary code from region analysis

34 of 37 new or added lines in 1 file covered. (91.89%)

1 existing line in 1 file now uncovered.

22863 of 34955 relevant lines covered (65.41%)

397074.59 hits per line

Uncovered Changes

Lines Coverage ∆ File
3
91.25
 10.86% src/analyses/region.ml

Coverage Regressions

Lines Coverage ∆ File
1
91.25
 10.86% src/analyses/region.ml
Jobs
ID Job ID Ran Files Coverage
1 4899.1 326
65.41
 GitHub Action Run
Source Files on build 4899