13
36%
master: 36%

Ran 01 Jul 2016 02:21AM UTC

Files 692

Run time 36s

Badge

Embed ▾

Committed 14 Dec 2014 10:08PM UTC coverage: 57.1%. First build

Job # CMS_CONFIG=MORE_DEBUG

Build Type

push

travis-ci

Committed by

msoos

Commit Message

Cleaning up, fixing and speeding up XOR finding

foundXors set was useless. Also, there was a bug where a long clause
caused that we returned from the function, instead of continuing.
Cleaned up the whole system by refactoring. Occurrence lists MUST go --
this is a TODO

Run Details

40444 of 70830 relevant lines covered (57.1%)

0.57 hits per line

msoos / cryptominisat / 553 / 13
36%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 553.13 (CMS_CONFIG=MORE_DEBUG)

msoos / cryptominisat / 553 / 13 36% master: 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 553.13 (CMS_CONFIG=MORE_DEBUG)

msoos / cryptominisat / 553 / 13
36%
master: 36%

README BADGES
x