mvcisback / py-aiger

py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).
MIT License
41 stars 9 forks source link

aiger.tee({}) crashes #33

Closed MarkusRabe closed 6 years ago

MarkusRabe commented 6 years ago

Snippet of a stack trace:

File "/Users/markus/work/py-aiger/aiger/common.py", line 122, in tee node_map=frozenset.union(*starmap(tee_output, outputs.items())), TypeError: descriptor 'union' of 'frozenset' object needs an argument

Could this maybe return the empty circuit?

mvcisback commented 6 years ago

Good idea. Done. 78747c76b91f52e8d85c866e6ad85848e9dc5064