1
0%
develop: 0%

Ran 11 Jan 2016 07:35AM UTC

Files 27

Run time 1s

Badge

Committed 11 Jan 2016 07:29AM UTC coverage: 96.857%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Rename Bdd::IfThenElse() to Bdd::ConvertGraph()

This is a function.
The original name looks confusing like a constructor.

Run Details

5608 of 5790 relevant lines covered (96.86%)

5247.79 hits per line