Fix omode which inserts an output if none exists (otherwise abc9 breaks)
authorEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 04:30:16 +0000 (21:30 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 04:30:16 +0000 (21:30 -0700)
commit8182cb9d91555d5be52abbfeeb5d22af05342d8a
tree0f464109754ad70093d12939e1b0b122889c4813
parent4d123b7638b7036da70de169d16d2ae21b89b8e2
Fix omode which inserts an output if none exists (otherwise abc9 breaks)
backends/aiger/xaiger.cc