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

LAST BUILD BRANCH: 2.7.0
DEFAULT BRANCH: master
Ran
Files 395
Run time 14min
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.746% (-0.08%) from 65.824%
571.1

push

travis-ci

ianamason 
parser_utils/term_stack2 needs to call the lock free api routines. so they can't be static. could be more discerning here, but taking the easy route today.

61144 of 93000 relevant lines covered (65.75%)

1197534.71 hits per line

Source Files on job 571.1