johnyf
/
dd
/
129
88%
master: 88%
master: 88%
|
Ran
|
Jobs
2
|
Files
17
|
Run time
11s
|
Badge
Embed ▾
README BADGES
|
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
3086 of 3822 relevant lines covered (80.74%)
0.81 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 129.1 | 0 |
80.46 |
Travis Job 129.1 | |
| 2 | 129.2 | 0 |
81.03 |
Travis Job 129.2 |
Source Files on build 129
Detailed source file information is not available for this build.