goblint / analyzer / 3287
65%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 293
Run time 2min
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.486% (+0.01%) from 61.476%
3287

push

github

web-flow 
Merge pull request #1750 from goblint/arg-complete-bool

Fix bash completion for booleans

11 of 13 new or added lines in 2 files covered. (84.62%)

20677 of 33629 relevant lines covered (61.49%)

410799.77 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
54.41
 1.38% src/config/options.ml
1
54.93
 0.58% src/maingoblint.ml
Jobs
ID Job ID Ran Files Coverage
1 3287.1 293
61.49
 GitHub Action Run
Source Files on build 3287