1
0%
develop: 0%

Ran 10 Dec 2015 03:14AM UTC

Files 27

Run time 1s

Badge

Committed 10 Dec 2015 03:14AM UTC coverage: 96.45% (-0.1%) from 96.548%

Build Type

push

travis-ci

Committed by

Commit Message

Handle const True module in BDD-to-ZBDD conversion

The case with const True module appears only in non-coherent models.

Run Details

5624 of 5831 relevant lines covered (96.45%)

7958.22 hits per line