goblint / analyzer / 4602
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.262% (+0.003%) from 65.259%
4602

push

github

web-flow 
Merge pull request #2056 from goblint/yaml-failed

Add all possible failures to `GobYaml.to_string'`

0 of 1 new or added line in 1 file covered. (0.0%)

192 existing lines in 5 files now uncovered.

22956 of 35175 relevant lines covered (65.26%)

394310.11 hits per line

Uncovered Changes

Lines Coverage ∆ File
1
70.37
 0.0% src/util/std/gobYaml.ml

Coverage Regressions

Lines Coverage ∆ File
66
65.6
 0.17% src/framework/control.ml
54
0.0
 0.0% src/framework/xsltResultOutput.ml
48
62.82
 0.04% src/maingoblint.ml
22
55.31
 -0.19% src/common/util/messages.ml
2
57.14
 0.0% src/framework/analysisResult.ml
Jobs
ID Job ID Ran Files Coverage
1 4602.1 327
65.26
 GitHub Action Run
Source Files on build 4602