INRIA / spoon / 8915
87%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 474
Run time 41s
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
8915

push

travis-ci

web-flow 
fix(travis-extra.sh): download z3 lib from ow2 instead of github for CI (#3356)

26156 of 30360 relevant lines covered (86.15%)

0.86 hits per line

Jobs
ID Job ID Ran Files Coverage
4 8915.4 (M2_HOME="/usr/local/maven" SCRIPT=travis-coverage.sh) 0
86.15
 Travis Job 8915.4
Source Files on build 8915
Detailed source file information is not available for this build.