2
88%
master: 88%

Ran 09 Mar 2018 01:44AM UTC

Files 12

Run time 1s

Badge

Embed ▾

Committed 09 Mar 2018 01:40AM UTC coverage: 87.441%. Remained the same

Job # CC=gcc-4.7 CXX=g++-4.7

Build Type

push

travis-ci

Committed by

johnyf

Commit Message

REL: download same CUDD tarball from a mirror

to ensure stability of tests on Travis CI, and
of package installation. The tarball hash is unchanged.

This change has been motivated by recent unavailability
of the location:  ftp://vlsi.colorado.edu

close #32

Run Details

1866 of 2134 relevant lines covered (87.44%)

0.87 hits per line

johnyf / dd / 233 / 2
88%
master: 88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 233.2 (CC=gcc-4.7 CXX=g++-4.7)

johnyf / dd / 233 / 2 88% master: 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 233.2 (CC=gcc-4.7 CXX=g++-4.7)

johnyf / dd / 233 / 2
88%
master: 88%

README BADGES
x