purpleKarrot / Karrot / 142
34%
master: 34%

LAST BUILD BRANCH: tool
DEFAULT BRANCH: master
Ran
Jobs 1
Files 37
Run time –
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
142

push

travis-ci

purpleKarrot 
more minisat cleanup

620 of 1745 relevant lines covered (35.53%)

117.17 hits per line

Jobs
ID Job ID Ran Files Coverage
1 142.1 (BUILD_TYPE=Debug) 0
35.53
 Travis Job 142.1
Source Files on build 142
Detailed source file information is not available for this build.