goblint / analyzer / 5239
67%
master: 67%

LAST BUILD BRANCH: svcomp27-portfolios
DEFAULT BRANCH: master
Ran
Jobs 1
Files 329
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: 66.732% (+0.09%) from 66.642%
5239

Pull #2294

github

web-flow 
Merge b82a9e624 into 1463f411c
Pull Request #2294: Propagate integer bottom values instead of raising `ArithmeticOnIntegerBot`

38 of 75 new or added lines in 12 files covered. (50.67%)

11 existing lines in 6 files now uncovered.

23539 of 35274 relevant lines covered (66.73%)

396978.33 hits per line

Uncovered Changes

Lines Coverage ∆ File
12
86.83
3.6% src/cdomain/value/cdomains/int/intervalDomain.ml
9
79.4
3.53% src/cdomain/value/cdomains/int/congruenceDomain.ml
7
86.39
3.62% src/cdomain/value/cdomains/int/defExcDomain.ml
2
78.03
0.35% src/analyses/baseInvariant.ml
2
92.76
-0.04% src/cdomain/value/cdomains/int/bitfieldDomain.ml
2
69.01
0.96% src/cdomain/value/cdomains/int/enumsDomain.ml
2
88.22
0.48% src/cdomain/value/cdomains/int/intervalSetDomain.ml
1
82.49
0.05% src/analyses/base.ml

Coverage Regressions

Lines Coverage ∆ File
3
86.96
-13.04% src/analyses/assert.ml
3
65.74
-0.35% src/cdomain/value/cdomains/arrayDomain.ml
2
79.11
0.59% src/cdomains/congruenceClosure.ml
1
82.49
0.05% src/analyses/base.ml
1
86.83
3.6% src/cdomain/value/cdomains/int/intervalDomain.ml
1
63.5
-0.31% src/domains/queries.ml
Jobs
ID Job ID Ran Files Coverage
1 5239.1 329
66.73
GitHub Action Run
Source Files on build 5239