dedis / student_18_omniledger / 86 / 1
80%
master: 80%

DEFAULT BRANCH: master
Ran
Files 26
Run time 2s
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: 77.811% (+0.1%) from 77.707%
86.1

push

travis-ci

web-flow 
Merge pull request #22 from dedis/proof_error

failing test

1834 of 2357 relevant lines covered (77.81%)

217027.38 hits per line

Source Files on job 86.1