msoos / cryptominisat / 1034
36%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 97
Run time 9s
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
1034

push

travis-ci

msoos 
Fixing num_red_cls_reducedb count update in clause cleaner

5773 of 14011 relevant lines covered (41.2%)

2112.27 hits per line

Jobs
ID Job ID Ran Files Coverage
15 1034.15 (CMS_CONFIG=COVERAGE) 0
41.2
 Travis Job 1034.15
Source Files on build 1034
Detailed source file information is not available for this build.