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

LAST BUILD BRANCH: 2.7.0
DEFAULT BRANCH: master
Ran
Jobs 1
Files 395
Run time 25min
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
571

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

Jobs
ID Job ID Ran Files Coverage
1 571.1 0
65.75
 Travis Job 571.1
Source Files on build 571
Detailed source file information is not available for this build.