goblint / analyzer / 4604
65%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 327
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.27% (+0.008%) from 65.262%
4604

push

github

web-flow 
Merge pull request #2057 from goblint/memOutOfBounds-blobsize-var

 Improve memOutOfBounds precision by querying size/length of particular variable

12 of 14 new or added lines in 3 files covered. (85.71%)

3 existing lines in 2 files now uncovered.

22954 of 35168 relevant lines covered (65.27%)

394388.4 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
82.33
 -0.1% src/analyses/base.ml
1
64.8
 -0.33% src/domains/queries.ml

Coverage Regressions

Lines Coverage ∆ File
2
82.33
 -0.1% src/analyses/base.ml
1
64.8
 -0.33% src/domains/queries.ml
Jobs
ID Job ID Ran Files Coverage
1 4604.1 327
65.27
 GitHub Action Run
Source Files on build 4604