goblint / analyzer / 5095
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: 65.718% (-0.005%) from 65.723%
5095

Pull #2206

github

web-flow 
Merge e19bcc27c into 23a6a25ea
Pull Request #2206: Treat contradicting EvalInt answers as dead code

13 of 19 new or added lines in 5 files covered. (68.42%)

8 existing lines in 4 files now uncovered.

23146 of 35220 relevant lines covered (65.72%)

395922.38 hits per line

Uncovered Changes

Lines Coverage ∆ File
3
82.43
-0.02% src/analyses/base.ml
1
75.87
0.0% src/cdomain/value/cdomains/int/congruenceDomain.ml
1
82.93
-0.3% src/cdomain/value/cdomains/int/intervalDomain.ml
1
87.74
0.0% src/cdomain/value/cdomains/int/intervalSetDomain.ml

Coverage Regressions

Lines Coverage ∆ File
3
86.96
-13.04% src/analyses/assert.ml
3
82.43
-0.02% src/analyses/base.ml
1
82.93
-0.3% src/cdomain/value/cdomains/int/intervalDomain.ml
1
64.29
-0.31% src/domains/queries.ml
Jobs
ID Job ID Ran Files Coverage
1 5095.1 329
65.72
GitHub Action Run
Source Files on build 5095