mAarnos / Serkr / 108 / 3
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Ran
Files 47
Run time 4s
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.695% (+0.03%) from 95.662%
108.3

push

travis-ci

mAarnos 
Fixed rewriting incompleteness

We now restrict rewriting in the maximal terms of maximal positive
literals. Might be ever so slightly slower but must be done.

3023 of 3159 relevant lines covered (95.69%)

2.27 hits per line

Source Files on job 108.3