write_xaiger to preserve POs even if driven by constant
authorEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 22:44:30 +0000 (15:44 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 22:44:30 +0000 (15:44 -0700)
commitfb2758aade4561d8c379e8b9d97ee871b1bbfde3
treeef5e8b6964937ddaa8397208cd29f191c2515b44
parent2e7b3eee400a4d845398be8e15ca023672f05270
write_xaiger to preserve POs even if driven by constant
backends/aiger/xaiger.cc