1
0%
develop: 0%

Ran 12 Dec 2015 08:48PM UTC

Files 27

Run time 1s

Badge

Embed ▾

Committed 12 Dec 2015 04:48AM UTC coverage: 96.676% (-0.001%) from 96.677%

Job # PATH=$PATH:`pwd`/install/bin

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

rakhimov / scram / 741 / 1
0%
develop: 0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 741.1 (PATH=$PATH:`pwd`/install/bin)

rakhimov / scram / 741 / 1 0% develop: 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 741.1 (PATH=$PATH:`pwd`/install/bin)

rakhimov / scram / 741 / 1
0%
develop: 0%

README BADGES
x