Fix generation of multiple outputs for same AIG node in write_aiger
authorClifford Wolf <clifford@clifford.at>
Wed, 5 Jul 2017 12:23:54 +0000 (14:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 5 Jul 2017 12:23:54 +0000 (14:23 +0200)
commit5442554e6fe0f44f3a884fa6ef7778567349b9be
treee40be6f18f7499b921bc158fadc6eb84704c05a3
parent37af6294bdd6f7dbfab65b2d659ab0a247287dab
Fix generation of multiple outputs for same AIG node in write_aiger
backends/aiger/aiger.cc