• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

rakhimov / scram / 846
0%

Build:
DEFAULT BRANCH: develop
Ran 17 Mar 2016 08:42AM UTC
Jobs 1
Files 28
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

pending completion
846

push

travis-ci

rakhimov
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.

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.
  • Back to Repo
  • Travis Build #846
  • e19fd327 on github
  • Prev Build on develop (#845)
  • Next Build on develop (#847)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc