Coverage calculation for this build was skipped because it contains the same data as another build. See this build for the coverage details.
If you feel that something is wrong here, please contact support.

SRI-CSL / yices2 / 15082762933 / 1
65%
master: 65%

LAST BUILD BRANCH: 2.7.0
DEFAULT BRANCH: master
Ran
Files 486
Run time 14s
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.376% (+0.03%) from 65.343%
15082762933.1

Pull #557

github

web-flow 
Merge 188473060 into a4db1e6f0
Pull Request #557: fixes Iss547

81205 of 124213 relevant lines covered (65.38%)

1567317.98 hits per line

Source Files on job 15082762933.1