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 / 15222380616 / 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.371% (-0.005%) from 65.376%
15222380616.1

Pull #558

github

web-flow 
Merge afa4b720c into 14c89e12e
Pull Request #558: upate bool scaling heuristic

81199 of 124213 relevant lines covered (65.37%)

1461659.31 hits per line

Source Files on job 15222380616.1