746
0%

Ran 25 Dec 2015 02:55AM UTC

Jobs 1

Files 27

Run time 1s

Badge

Embed ▾

pending completion

Build # 746

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Update performance tests and logs for MOCUS

Enable the Baobab tests.
Speed improvement ranges 10x-50x.
Memory utilization improved by around 3-30x.

However, the new approach with MOCUS/ZBDD comes short
on benchmarks with approximations (~2x speed regression).
The performance is almost insensitive to cut-offs and approximations,
which is a huge loss for MOCUS.

This commit finalizes and closes #124

Run Details

5624 of 5812 relevant lines covered (96.77%)

10884.55 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	746.1 (PATH=$PATH:`pwd`/install/bin)	25 Dec 2015 02:55AM UTC	0	96.77	Travis Job 746.1

Source Files on build 746

Detailed source file information is not available for this build.

rakhimov / scram / 746
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 746

rakhimov / scram / 746 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 746

rakhimov / scram / 746
0%

README BADGES
x