dedis / onet / 839 / 1
66%
master: 66%

DEFAULT BRANCH: master
Ran
Files 50
Run time 3s
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: 63.366% (-0.05%) from 63.412%
839.1

push

travis-ci

nikkolasg 
check on existing server_list (#217)

* check on existing server_list

* variable adjustment

4530 of 7149 relevant lines covered (63.37%)

77.19 hits per line

Source Files on job 839.1