msoos / cryptominisat / 1085
36%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 101
Run time 18s
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
1085

push

travis-ci

msoos 
Valgrind warns on this clause offset rollover. It's correct so removing

6838 of 14050 relevant lines covered (48.67%)

390.51 hits per line

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