1
0%
develop: 0%

Ran 17 Mar 2016 08:42AM UTC

Files 28

Run time 1s

Badge

Embed ▾

Committed 17 Mar 2016 08:03AM UTC coverage: 96.968% (-0.009%) from 96.977%

Job # RELEASE=

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 846.1 (RELEASE=)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 846.1 (RELEASE=)

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

README BADGES
x