Revert "Revert "Fix omode which inserts an output if none exists (otherwise abc9...
authorEddie Hung <eddie@fpgeh.com>
Thu, 29 Aug 2019 00:34:00 +0000 (17:34 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 29 Aug 2019 00:34:00 +0000 (17:34 -0700)
commit3247442bf9b1f5b672a360b1fc55af9170d000c5
tree9bb1137ce3b6a382ec3cae6e43289d9b56d2aea0
parent082a01954b95f50cb0ab1b2a1105c06391c0b1b4
Revert "Revert "Fix omode which inserts an output if none exists (otherwise abc9 breaks)""

This reverts commit 8f0c1232d7c511a6473f4581e4c27a90088cedb7.
backends/aiger/xaiger.cc