1
0%
develop: 0%

Ran 14 Oct 2015 11:46AM UTC

Files 27

Run time 4s

Badge

Embed ▾

Committed 14 Oct 2015 11:46AM UTC coverage: 96.023% (+0.2%) from 95.784%

Job # PATH=$PATH:`pwd`/install/bin

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 693.1 (PATH=$PATH:`pwd`/install/bin)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 693.1 (PATH=$PATH:`pwd`/install/bin)

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

README BADGES
x