732
0%

Ran 09 Dec 2015 05:14PM UTC

Jobs 1

Files 27

Run time 1s

Badge

Embed ▾

pending completion

Build # 732

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Make BDD the default analysis algorithm

Making BDD the default qualitative analysis algorithm
allows reuse of the BDDs for quantitative analyses.
BDD is the fastest algorithm currently implemented in SCRAM.

Closes #121.

Run Details

5622 of 5823 relevant lines covered (96.55%)

7963.11 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	732.1 (PATH=$PATH:`pwd`/install/bin)	09 Dec 2015 05:14PM UTC	0	96.55	Travis Job 732.1

Source Files on build 732

Detailed source file information is not available for this build.

rakhimov / scram / 732
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 732

rakhimov / scram / 732 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 732

rakhimov / scram / 732
0%

README BADGES
x