msoos / cryptominisat / 1139
36%

DEFAULT BRANCH: master
Ran
Jobs 2
Files 106
Run time 1min
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
1139

push

travis-ci

msoos 
Use our new recursive XOR code for Gauss detection

1009 of 12782 relevant lines covered (7.89%)

0.16 hits per line

Jobs
ID Job ID Ran Files Coverage
17 1139.17 (CMS_CONFIG=SLOW_DEBUG) 0
7.89
 Travis Job 1139.17
18 1139.18 (CMS_CONFIG=INTREE_BUILD) 0
7.89
 Travis Job 1139.18
Source Files on build 1139
Detailed source file information is not available for this build.