1
0%
develop: 0%

Ran 28 Jan 2016 07:14AM UTC

Files 27

Run time 1s

Badge

Embed ▾

Committed 28 Jan 2016 07:14AM UTC coverage: 96.922% (-0.06%) from 96.986%

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

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

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

README BADGES
x