• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

johnyf / omega
80%
master: 79%

Build:
Build:
LAST BUILD BRANCH: dev
DEFAULT BRANCH: master
Repo Added 15 Aug 2016 06:11AM UTC
Files 120
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH v0.0.11
branch: v0.0.11
CHANGE BRANCH
x
Reset
  • v0.0.11
  • dev
  • dev_0.0.11
  • dev_0.1.0
  • develop
  • master
  • v0.0.10
  • v0.0.9
  • v0.1.0
  • v0.1.1
  • v0.1.2

pending completion
82

push

travis-ci

johnyf
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.

5274 of 6588 relevant lines covered (80.05%)

0.8 hits per line

Relevant lines Covered
Build:
Build:
6588 RELEVANT LINES 5274 COVERED LINES
0.8 HITS PER LINE
Source Files on v0.0.11
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
82 v0.0.11 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`, becaus... push 14 Feb 2017 06:07PM UTC johnyf travis-ci pending completion  
See All Builds (42)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc