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 / 10550037419 / 1
66%
master: 65%

LAST BUILD BRANCH: 2.7.0
DEFAULT BRANCH: master
Ran
Files 1696
Run time 43s
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.649%. Remained the same
10550037419.1

Pull #524

github

web-flow 
Merge 0dc2fdb86 into e6a5726b5
Pull Request #524: run make test in CI

90058 of 135123 relevant lines covered (66.65%)

1368982.17 hits per line

Source Files on job 10550037419.1