984
0%

Ran 11 Jun 2016 04:24AM UTC

Jobs 1

Files 34

Run time 1s

Badge

Embed ▾

pending completion

Build # 984

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	984.1 (RELEASE=)	11 Jun 2016 04:24AM UTC	0	96.27	Travis Job 984.1

Source Files on build 984

Detailed source file information is not available for this build.

rakhimov / scram / 984
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 984

rakhimov / scram / 984 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 984

rakhimov / scram / 984
0%

README BADGES
x