678
0%

Ran 16 Sep 2015 05:39AM UTC

Jobs 1

Files 24

Run time 1s

Badge

Embed ▾

pending completion

Build # 678

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

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.

Run Details

4907 of 5111 relevant lines covered (96.01%)

4457.81 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	678.1 (PATH=$PATH:`pwd`/install/bin)	16 Sep 2015 05:39AM UTC	0	96.01	Travis Job 678.1

Source Files on build 678

Detailed source file information is not available for this build.

rakhimov / scram / 678
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 678

rakhimov / scram / 678 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 678

rakhimov / scram / 678
0%

README BADGES
x