mAarnos / Serkr / 94
96%
master: 96%

LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Ran
Jobs 3
Files 47
Run time 43s
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
94

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%)

4.6 hits per line

Jobs
ID Job ID Ran Files Coverage
1 94.1 0
95.63
 Travis Job 94.1
2 94.2 0
95.63
 Travis Job 94.2
3 94.3 0
95.63
 Travis Job 94.3
Source Files on build 94
Detailed source file information is not available for this build.