msoos / cryptominisat / 563 / 2
36%
master: 36%

DEFAULT BRANCH: master
Ran
Files 755
Run time 37s
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: 57.32% (+0.3%) from 57.045%
CMS_CONFIG=SIMPLE

push

travis-ci

msoos 
Adding build script to AWS

41029 of 71579 relevant lines covered (57.32%)

0.57 hits per line

Source Files on job 563.2 (CMS_CONFIG=SIMPLE)