741
0%

Ran 12 Dec 2015 08:48PM UTC

Jobs 1

Files 27

Run time 1s

Badge

Embed ▾

pending completion

Build # 741

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Refactor the data-layouts of BDD/ZBDD classes

Complement edge mixin class is merged into Ite for simplicity.
Member variables are ordered where possible
to shave off the padding.
However, the objects are still huge (80-100 B).
This refactoring gives around 10% efficiency in benchmarks.

Run Details

5672 of 5867 relevant lines covered (96.68%)

7082.55 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	741.1 (PATH=$PATH:`pwd`/install/bin)	12 Dec 2015 08:48PM UTC	0	96.68	Travis Job 741.1

Source Files on build 741

Detailed source file information is not available for this build.

rakhimov / scram / 741
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 741

rakhimov / scram / 741 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 741

rakhimov / scram / 741
0%

README BADGES
x