80
80%
master: 79%

Ran 13 Feb 2017 07:33PM UTC

Jobs 2

Files 44

Run time 38s

Badge

Embed ▾

pending completion

Build # 80

Build Type

push

travis-ci

Committed by

johnyf

Commit Message

BUG: exhaust the enumeration in `fol.Context.pick_iter`

Only one value of the generator was consumed, instead of
the entire enumeration. This affected only calls without
`care_vars`, which anyway raised an `AssertionError` in
`dd < 0.5.0`, because `care_vars` was replaced with an empty
set, and `BDD.sat_iter` interpreted `care_bits` as a constraint.

In other words, this error in enumeration matters only for
bits that aren't enumerated exhaustively by `sat_iter`.
A call with `care_vars` had to include the entire support,
and each integer results in all its bits being included in
`care_bits`, so there weren't any bits not exhaustively enumerated.

Trying to omit integers in support from `care_vars` resulted
in errors in `sat_iter`. This behavior will change in
`omega == 0.1.0`, so this incorrect enumeration would
become observable, if left uncorrected.

Run Details

5274 of 6588 relevant lines covered (80.05%)

0.8 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	80.1	13 Feb 2017 07:33PM UTC	0	80.05	Travis Job 80.1
2	80.2	13 Feb 2017 07:34PM UTC	0	80.05	Travis Job 80.2

Source Files on build 80

Detailed source file information is not available for this build.

johnyf / omega / 80
80%
master: 79%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 80

johnyf / omega / 80 80% master: 79%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 80

johnyf / omega / 80
80%
master: 79%

README BADGES
x