1
0%
develop: 0%

Ran 15 Mar 2016 03:03AM UTC

Files 28

Run time 2s

Badge

Embed ▾

Committed 15 Mar 2016 12:20AM UTC coverage: 96.977% (-0.04%) from 97.018%

Job # RELEASE=

Build Type

push

travis-ci

Committed by

rakhimov

Commit Message

Refactor Zbdd::Apply with template Operator param

Zbdd::Apply for AND operator is very convoluted,
but with the template parameter,
it is a bit more clear,
and the run-time checks for the operator are avoided.

Run Details

5550 of 5723 relevant lines covered (96.98%)

11047.6 hits per line

rakhimov / scram / 843 / 1
0%
develop: 0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 843.1 (RELEASE=)

rakhimov / scram / 843 / 1 0% develop: 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 843.1 (RELEASE=)

rakhimov / scram / 843 / 1
0%
develop: 0%

README BADGES
x