693
0%

Ran 14 Oct 2015 11:46AM UTC

Jobs 1

Files 27

Run time 4s

Badge

Embed ▾

pending completion

Build # 693

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Calculate proper MCS in MOCUS by default

Minimal cut sets include only positive literals.
For non-coherent fault trees,
this is a conservative approximation.
More exact approach will be achieved with prime implicants.

The current implementation is rough,
but it passes all tests to close #123.

Restriction of minimal cut sets to positive literals
solves many flaws in SCRAM as in #92.
The solution is good to close #92.

Run Details

5288 of 5507 relevant lines covered (96.02%)

5227.19 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	693.1 (PATH=$PATH:`pwd`/install/bin)	14 Oct 2015 11:46AM UTC	0	96.02	Travis Job 693.1

Source Files on build 693

Detailed source file information is not available for this build.

rakhimov / scram / 693
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 693

rakhimov / scram / 693 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 693

rakhimov / scram / 693
0%

README BADGES
x