730
0%

Ran 01 Dec 2015 03:29PM UTC

Jobs 1

Files 27

Run time 1s

Badge

Embed ▾

pending completion

Build # 730

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Make BDD garbage collector work on compute tables

The implementation is too eager to clean
and inefficient with tracking the tables to clean.
The memory use for the most intensive benchmarks
has actually increased by around 20%.
Speed for the most intensive benchmark has decreased by 50%.

Even though the performance results are very bad,
there is a lot of room for improvements.

The effect of the garbage collector is logged in the speedlog.
There is clear improvement in the number of items in BDD hash tables.
This garbage collector is an important part of issue #121.

Run Details

5597 of 5805 relevant lines covered (96.42%)

8027.38 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	730.1 (PATH=$PATH:`pwd`/install/bin)	01 Dec 2015 03:29PM UTC	0	96.42	Travis Job 730.1

Source Files on build 730

Detailed source file information is not available for this build.

rakhimov / scram / 730
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 730

rakhimov / scram / 730 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 730

rakhimov / scram / 730
0%

README BADGES
x