854
0%

Ran 04 Apr 2016 07:59PM UTC

Jobs 1

Files 28

Run time 9s

Badge

Embed ▾

pending completion

Build # 854

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Make ZBDD product extraction aware of cut-offs

The product extraction phase avoids doing redundant work
by ignoring products of higher order than the cut-off.
Ideally, this scenario should never occur
with the strict application of the cut-off;
however, since even the strict application
must be conservative with modules,
the final products may overshoot their orders.
Readjusting the orders compensates the conservativeness
and recovers the efficiency.
The speed of the extraction increases by around 2x.

Run Details

5605 of 5777 relevant lines covered (97.02%)

28139.88 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	854.1 (RELEASE=)	04 Apr 2016 07:59PM UTC	0	97.02	Travis Job 854.1

Source Files on build 854

Detailed source file information is not available for this build.

rakhimov / scram / 854
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 854

rakhimov / scram / 854 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 854

rakhimov / scram / 854
0%

README BADGES
x