goblint / analyzer / 4433 / 1
65%
master: 65%

LAST BUILD BRANCH: oob-event
DEFAULT BRANCH: master
Ran
Files 317
Run time 11s
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.495% (+0.003%) from 65.492%
4433.1

Pull #2017

github

web-flow 
Merge 5447075fe into 40cae057f
Pull Request #2017: Fix `memOutOfBounds` handling of negative pointer offsets

22690 of 34644 relevant lines covered (65.49%)

399938.61 hits per line

Source Files on job 4433.1