553
36%

Ran 01 Jul 2016 02:21AM UTC

Jobs 2

Files 692

Run time 3min

Badge

Embed ▾

pending completion

Build # 553

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

40484 of 70830 relevant lines covered (57.16%)

1.14 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
12	553.12 (CMS_CONFIG=SIMPLE)	01 Jul 2016 02:23AM UTC	0	57.05	Travis Job 553.12
13	553.13 (CMS_CONFIG=MORE_DEBUG)	01 Jul 2016 02:21AM UTC	0	57.1	Travis Job 553.13

Source Files on build 553

Detailed source file information is not available for this build.

msoos / cryptominisat / 553
36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 553

msoos / cryptominisat / 553 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 553

msoos / cryptominisat / 553
36%

README BADGES
x