SRI-CSL / yices2 / 280
66%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 384
Run time 33s
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
280

push

travis-ci

BrunoDutertre 
Small fixes/stylistic changes.

60163 of 90763 relevant lines covered (66.29%)

1230199.61 hits per line

Jobs
ID Job ID Ran Files Coverage
1 280.1 384
66.29
 Travis Job 280.1
Source Files on build 280