846
0%

Ran 17 Mar 2016 08:42AM UTC

Jobs 1

Files 28

Run time 1s

Badge

Embed ▾

pending completion

Build # 846

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Use boost::intrusive_ptr in BDD and ZBDD

The intrusive pointer replaces standard shared pointer
for BDD and ZBDD vertex management.
To support intrusive pointers and intrusive weak pointers,
Vertex class code is changed heavily.
Several support struct and classes are added for the new functionality.

The speed and memory improvements are around 20%
for most demanding fault trees.

Run Details

5532 of 5705 relevant lines covered (96.97%)

26989.0 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	846.1 (RELEASE=)	17 Mar 2016 08:42AM UTC	0	96.97	Travis Job 846.1

Source Files on build 846

Detailed source file information is not available for this build.

rakhimov / scram / 846
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 846

rakhimov / scram / 846 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 846

rakhimov / scram / 846
0%

README BADGES
x