SRI-CSL / yices2 / 67 / 1
67%
master: 67%

DEFAULT BRANCH: master
Ran
Files 379
Run time 17s
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.313% (+0.1%) from 66.198%
67.1

push

travis-ci

BrunoDutertre 
Changed names of trace functions to avoid clash with the curses library

59056 of 89056 relevant lines covered (66.31%)

986841.42 hits per line

Source Files on job 67.1