SRI-CSL / yices2 / 8542655620 / 1
66%
master: 65%

LAST BUILD BRANCH: 2.7.0
DEFAULT BRANCH: master
Ran
Files 1625
Run time 53s
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.39% (+0.04%) from 66.349%
8542655620.1

Pull #503

github

ahmed-irfan 
update test
Pull Request #503: test for issue #451

87996 of 132545 relevant lines covered (66.39%)

1317188.53 hits per line

Source Files on job 8542655620.1