150
88%
master: 88%

Ran 29 Jan 2017 11:38AM UTC

Jobs 2

Files 21

Run time 1min

Badge

Embed ▾

pending completion

Build # 150

Build Type

push

travis-ci

Committed by

johnyf

Commit Message

MAI: add entry for constant node to `bdd.BDD._pred`

to ensure symmetry between `bdd.BDD._succ` and `bdd.BDD._pred`.

This asymmetry surfaced after properly checking in
`bdd.BDD.assert_consistent` that each of these tables contains
unique a entry for each node, and that they are inverses.

Run Details

3138 of 3891 relevant lines covered (80.65%)

0.81 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	150.1 (CC=gcc-4.7 CXX=g++-4.7)	29 Jan 2017 11:40AM UTC	10	80.75	Travis Job 150.1
2	150.2 (CC=gcc-4.7 CXX=g++-4.7)	29 Jan 2017 11:38AM UTC	11	80.54	Travis Job 150.2

Source Files on build 150

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

johnyf / dd / 150
88%
master: 88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 150

johnyf / dd / 150 88% master: 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 150

johnyf / dd / 150
88%
master: 88%

README BADGES
x