search

cjdrake / pyeda

Python EDA
BSD 2-Clause "Simplified" License
304 stars 54 forks source link

Incorrect Equal simplification #121

Closed cjdrake closed 9 years ago

cjdrake commented 9 years ago

In both v0.27.4 and master, this stupid thing happens:

>>> Equal(1, a, b)
Not(And(a, b))

Well, shit.