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

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Ran
Files 43
Run time 1s
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.779% (+0.001%) from 95.778%
77.2

push

travis-ci

mAarnos 
Fixed bugs in the parser and analyzing script

Comments were incorrectly removed, and predicates named include were not
allowed. We still don't allow include(X) or anything like that though.

2700 of 2819 relevant lines covered (95.78%)

1.76 hits per line

Source Files on job 77.2