mAarnos / Serkr / 94 / 1
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Ran
Files 47
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.63% (+0.2%) from 95.396%
94.1

push

travis-ci

mAarnos 
Improved time limit handling

Downside is that now we have global state in the proof search, which
forces us to run its tests
serially

2867 of 2998 relevant lines covered (95.63%)

1.53 hits per line

Source Files on job 94.1