1
0%
develop: 0%

Ran 21 Sep 2015 03:31AM UTC

Files 25

Run time 1s

Badge

Committed 21 Sep 2015 03:31AM UTC coverage: 96.046% (+0.04%) from 96.009%

Build Type

push

travis-ci

Committed by

Commit Message

Handle non-coherent fault trees with BDD

The technique relies on preprocessing to eliminate negative gates.

Coverage Stats

4979 of 5184 relevant lines covered (96.05%)

4429.77 hits per line