dedis / dela / 255508994 / 1
98%
master: 98%

DEFAULT BRANCH: master
Ran
Files 102
Run time 14s
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: 98.613% (-0.03%) from 98.646%
255508994.1

push

github

GitHub 
Merge pull request #102 from dedis/mcheck-minor-updates

9527 of 9661 relevant lines covered (98.61%)

1281.56 hits per line

Source Files on job 0 - 255508994.1