776
0%

Ran 28 Jan 2016 07:14AM UTC

Jobs 1

Files 27

Run time 1s

Badge

Embed ▾

pending completion

Build # 776

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Relax the strict application of cut-offs on ZBDD

This is a trade-off for more flexible code;
however, it can also be considered a deficiency
for performance reasons.
The final generation of products compensates the relaxed application.

Run Details

5730 of 5912 relevant lines covered (96.92%)

6471.41 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	776.1 (PATH=$PATH:`pwd`/install/bin)	28 Jan 2016 07:14AM UTC	0	96.92	Travis Job 776.1

Source Files on build 776

Detailed source file information is not available for this build.

rakhimov / scram / 776
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 776

rakhimov / scram / 776 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 776

rakhimov / scram / 776
0%

README BADGES
x