5
65%
master: 65%

Ran 02 Apr 2020 03:38AM UTC

Files 444

Run time 37s

Badge

Committed 02 Apr 2020 03:32AM UTC coverage: 62.566% (-0.003%) from 62.569%

Build Type

push

travis-ci

Committed by

Commit Message

Don't segfault if CUDD runs out of variables

Run Details

68675 of 109764 relevant lines covered (62.57%)

1391290.61 hits per line