goblint / analyzer / 4285
65%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 316
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.463% (-0.07%) from 65.533%
4285

push

github

web-flow 
Merge pull request #1979 from goblint/verbose-version

Add `--version` output to normal verbose runs

9 of 11 new or added lines in 2 files covered. (81.82%)

517 existing lines in 11 files now uncovered.

22656 of 34609 relevant lines covered (65.46%)

401081.41 hits per line

Uncovered Changes

Lines Coverage ∆ File
2
62.78
 0.21% src/maingoblint.ml

Coverage Regressions

Lines Coverage ∆ File
269
81.89
 0.07% src/analyses/base.ml
72
75.68
 -0.69% src/cdomain/value/cdomains/intDomain0.ml
47
75.39
 0.02% src/cdomain/value/cdomains/int/congruenceDomain.ml
43
83.53
 0.29% src/cdomain/value/cdomains/int/intervalDomain.ml
24
92.35
 -0.22% src/cdomain/value/cdomains/int/bitfieldDomain.ml
18
87.26
 -0.66% src/cdomain/value/cdomains/int/intervalSetDomain.ml
14
89.18
 -0.11% src/cdomain/value/cdomains/int/intDomTuple.ml
13
67.89
 -0.41% src/cdomain/value/cdomains/int/enumsDomain.ml
9
82.37
 -0.45% src/cdomain/value/cdomains/int/defExcDomain.ml
6
91.26
 -0.7% src/domains/intDomainProperties.ml
2
26.67
 -4.44% src/common/util/intOps.ml
Jobs
ID Job ID Ran Files Coverage
1 4285.1 316
65.46
 GitHub Action Run
Source Files on build 4285