goblint / analyzer / 4273
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.533% (-0.01%) from 65.547%
4273

push

github

web-flow 
Merge pull request #1962 from goblint/int-predicates

Simplify return type of int domain comparison predicates

149 of 184 new or added lines in 14 files covered. (80.98%)

2 existing lines in 1 file now uncovered.

22738 of 34697 relevant lines covered (65.53%)

402970.68 hits per line

Uncovered Changes

Lines Coverage ∆ File
7
76.37
 -1.09% src/cdomain/value/cdomains/intDomain0.ml
6
83.24
 0.0% src/cdomain/value/cdomains/int/intervalDomain.ml
6
91.96
 -4.74% src/domains/intDomainProperties.ml
5
75.38
 0.0% src/cdomain/value/cdomains/int/congruenceDomain.ml
4
82.82
 -0.05% src/cdomain/value/cdomains/int/defExcDomain.ml
3
68.3
 -0.47% src/cdomain/value/cdomains/int/enumsDomain.ml
2
87.93
 -0.06% src/cdomain/value/cdomains/int/intervalSetDomain.ml
1
81.82
 0.03% src/analyses/base.ml
1
72.81
 0.0% src/analyses/memOutOfBounds.ml

Coverage Regressions

Lines Coverage ∆ File
2
82.82
 -0.05% src/cdomain/value/cdomains/int/defExcDomain.ml
Jobs
ID Job ID Ran Files Coverage
1 4273.1 316
65.53
 GitHub Action Run
Source Files on build 4273