mAarnos / Serkr / 93 / 2
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Ran
Files 48
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.396% (-0.06%) from 95.451%
93.2

push

travis-ci

mAarnos 
Separated subsumption into unit and non-unit

2735 of 2867 relevant lines covered (95.4%)

1.53 hits per line

Source Files on job 93.2