1
88%
master: 88%

Ran 29 Jan 2017 11:40AM UTC

Files 10

Run time 0s

Badge

Embed ▾

Committed 29 Jan 2017 11:22AM UTC coverage: 80.751% (+0.4%) from 80.331%

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

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

1569 of 1943 relevant lines covered (80.75%)

0.81 hits per line

johnyf / dd / 150 / 1
88%
master: 88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

johnyf / dd / 150 / 1 88% master: 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

johnyf / dd / 150 / 1
88%
master: 88%

README BADGES
x