Whole file
bastikr/boolean.py
The author described this change as “Fix bug in normalize and write tests.”. It counts as a record because the check below fails on the code as it stood at 45f401c65 and passes on adcc3634f, with nothing else changed between the two runs.
Projectbastikr/boolean.py
Fix saved2017-01-10
Sharing licenceBSD-2-Clause · LICENSE.txt
Change size+1 −3
What the code was meant to do, written into the code itself as a save note
Fix bug in normalize and write tests.
The change
| 439 | 439 | expr = self._rdistributive(expr, operation_example) | |
| 440 | 440 | # Canonicalize | |
| 441 | 441 | expr = expr.simplify() | |
| 442 | - | if isinstance(expr, operation): | |
| 443 | - | return expr | |
| 444 | - | return operation(*expr.args) | |
| 442 | + | return expr | |
| 445 | 443 | ||
| 446 | 444 | def cnf(self, expr): | |
| 447 | 445 | """ |
The check that tells the two apart
fail→pass·boolean/test_boolean.py::OtherTestCase::test_normalize
Check file boolean/test_boolean.py, taken without changes from the fix and copied onto the older code, so the exact same check runs against both versions.
Origin and history
The code before it45f401c657723c486b71314af3cc4cebd639baa7
Broken version dated2016-12-19
Moduleboolean.boolean
Units changedBooleanAlgebra
Fingerprintd6ba114f294892f2
Checked2026-08-18 by goldset/0.1
Every field above is generated by our program. None of it is written by hand.
Other bugs found in bastikr/boolean.py
- 2024-11-15Fix absorption issue #113 #112 #111
- 2016-05-13Fix for #45 Do not simplify() by default
- 2016-03-27Fix bug in remove where an undefined variable was used.
- 2012-06-05Fix bug in DualBase.eval