goblint / analyzer / 5247
67%
master: 67%

LAST BUILD BRANCH: svcomp27-portfolios
DEFAULT BRANCH: master
Ran
Jobs 1
Files 334
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: 67.275% (+0.6%) from 66.652%
5247

Pull #2207

github

web-flow 
Merge 2e6c0ed74 into ca3780a14
Pull Request #2207: New Relational Domain: Subpolyhedra

17 of 20 new or added lines in 1 file covered. (85.0%)

105 existing lines in 2 files now uncovered.

24599 of 36565 relevant lines covered (67.27%)

384708.94 hits per line

Uncovered Changes

Lines Coverage ∆ File
3
90.75
0.33% src/cdomains/affineEquality/sparseImplementation/listMatrix.ml

Coverage Regressions

Lines Coverage ∆ File
60
68.93
0.0% src/affineEqualityDomain.ml
45
77.89
0.15% src/sharedFunctions.ml
Jobs
ID Job ID Ran Files Coverage
1 5247.1 334
67.27
GitHub Action Run
Source Files on build 5247