goblint / analyzer / 4221
66%
master: 65%

LAST BUILD BRANCH: rm-dbg.dump
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.519% (-0.01%) from 65.533%
4221

Pull #1962

github

web-flow 
Merge a06dc8674 into 3bd3da151
Pull Request #1962: 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.

22731 of 34694 relevant lines covered (65.52%)

403000.89 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 4221.1 316
65.52
 GitHub Action Run
Source Files on build 4221