johnyf
/
dd
/
129
/
2
88%
master: 88%
master: 88%
|
Ran
|
Files
8
|
Run time
0s
|
Badge
Embed ▾
README BADGES
|
coverage: 81.027% (+0.06%) from 80.967%
push
travis-ci
johnyfBUG: in Python 2 use `sys.maxint` for `max_nodes` of `bdd.BDD` and `mdd.MDD`, because `xrange` in method `BDD._next_free_int` is implemented using C long (which is limited by `sys.maxint`) and not `Py_ssize_t`. In Python 3, this limitation does not exist. Closes #16. Partially reverts: 956e15def for the case of Python 2 only. Should make a difference only on Windows 64 bit, as discussed here: https://bugs.python.org/issue26428
1546 of 1908 relevant lines covered (81.03%)
0.81 hits per line
Source Files on job 129.2
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|