dedis / student_17_collections / 60 / 2
96%
develop: 96%

DEFAULT BRANCH: develop
Ran
Files 18
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: 95.846% (-3.4%) from 99.213%
60.2

push

travis-ci

Matteo Monti 
Update manipulators.go

Given the other operations, there can never be two
placeholder twin leaves. Removes related pruning
check.

623 of 650 relevant lines covered (95.85%)

0.96 hits per line

Source Files on job 60.2