Only xaig if GetSize(output_bits) > 0
authorEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 03:57:13 +0000 (20:57 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 21 Aug 2019 03:57:13 +0000 (20:57 -0700)
commit7b646101e936cacd20938c20ddfbaa63ee268fb2
tree265bd3c18fef2f064b1e412667c70e40b3073496
parent64d62710de4f1db0d59d7fa04b3fb4d51c8dff2e
Only xaig if GetSize(output_bits) > 0
backends/aiger/xaiger.cc