1
0%
develop: 0%

Ran 09 Oct 2015 01:55PM UTC

Files 27

Run time 1s

Badge

Committed 09 Oct 2015 06:09AM UTC coverage: 95.784% (-0.008%) from 95.792%

Build Type

push

travis-ci

Committed by

Commit Message

Remove computed-table from ZBDD

Currently ZBDD only needs Subsume operation.
A hash table of std::pair as a key is enough.

Run Details

5180 of 5408 relevant lines covered (95.78%)

5005.23 hits per line