843
0%

Ran 15 Mar 2016 03:03AM UTC

Jobs 1

Files 28

Run time 3s

Badge

Embed ▾

pending completion

Build # 843

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	843.1 (RELEASE=)	15 Mar 2016 03:03AM UTC	0	96.98	Travis Job 843.1

Source Files on build 843

Detailed source file information is not available for this build.

rakhimov / scram / 843
0%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 843

rakhimov / scram / 843 0%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 843

rakhimov / scram / 843
0%

README BADGES
x