1
88%
master: 88%

Ran 13 May 2016 11:34AM UTC

Files 9

Run time 0s

Badge

Committed 13 May 2016 11:16AM UTC coverage: 79.947% (-1.1%) from 81.071%

Build Type

push

travis-ci

Committed by

Commit Message

API: add attribute `autoref.Function.negated`

for uniformity with `cudd.Function`.

Coverage Stats

1519 of 1900 relevant lines covered (79.95%)

0.8 hits per line