1
0%
develop: 0%

Ran 11 Jun 2016 04:24AM UTC

Files 34

Run time 1s

Badge

Embed ▾

Committed 11 Jun 2016 03:57AM UTC coverage: 96.267% (-0.2%) from 96.51%

Job # RELEASE=

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Implement space-efficient Product for Literals

The results of analysis are stored in Products for reporting.
The most efficient approach would be to utilize ZBDD directly;
however, the current set of sets approach is easy on other parts
of the reporting facilities.

This implementation of Product container cuts memory use by 40-50%.
However, it is very restrictive with constraints.
The analysis is limited to 32 literals only.
It is in fact uncommon to reach this limit,
so the constraint does not break any current analysis.

The speed penalty of the space optimization is negligible,
considering the efficient handling of a pair of value types.

Run Details

5803 of 6028 relevant lines covered (96.27%)

40808.63 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 984.1 (RELEASE=)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 984.1 (RELEASE=)

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

README BADGES
x