goblint / analyzer / 4461
65%
master: 65%

LAST BUILD BRANCH: oob-event
DEFAULT BRANCH: master
Ran
Jobs 1
Files 317
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.416% (+0.006%) from 65.41%
4461

Pull #2022

github

web-flow 
Merge 3ef123383 into 72f38e1db
Pull Request #2022: Disable OOB checks during reachability calculations

7 of 7 new or added lines in 2 files covered. (100.0%)

1 existing line in 1 file now uncovered.

22698 of 34698 relevant lines covered (65.42%)

399048.72 hits per line

Coverage Regressions

Lines Coverage ∆ File
1
81.77
 0.04% src/analyses/base.ml
Jobs
ID Job ID Ran Files Coverage
1 4461.1 317
65.42
 GitHub Action Run
Source Files on build 4461