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

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

Build:
DEFAULT BRANCH: develop
Ran 16 Sep 2015 05:39AM UTC
Files 24
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

16 Sep 2015 02:44AM UTC coverage: 96.009% (-0.04%) from 96.047%
PATH=$PATH:`pwd`/install/bin

push

travis-ci

rakhimov
Add direct probability calculations on BDD graphs

Probability calculations are run within BDD graphs.
This is for early testing purposes.
The algorithms will move to Quantitative analysis classes
after introduction of BDD based analysis.

Chinese tree probability benchmark case runs in 15ms with BDD graphs.
In contrast, the current series-based algorithm
can't even finish it in 100s of seconds.

4907 of 5111 relevant lines covered (96.01%)

4457.81 hits per line

Source Files on job 678.1 (PATH=$PATH:`pwd`/install/bin)
  • Tree
  • List 0
  • Changed 10
  • Source Changed 0
  • Coverage Changed 10
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 678
  • Travis Job 678.1
  • 1dede243 on github
  • Prev Job for PATH=$PATH:`pwd`/install/bin on develop (#677.1)
  • Next Job for PATH=$PATH:`pwd`/install/bin on develop (#679.1)
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