write_xaiger: do not export flop inputs as POs
authorEddie Hung <eddie@fpgeh.com>
Wed, 15 Jan 2020 00:17:27 +0000 (16:17 -0800)
committerEddie Hung <eddie@fpgeh.com>
Wed, 15 Jan 2020 00:17:27 +0000 (16:17 -0800)
commit1c41dc6b95c4c0261db96c15dd1b3cce8de6491f
treeeb5cc75e214dbf6fd480998549c777d81f348199
parent770e301b212d0ec6e75466b47716c24cef50f841
write_xaiger: do not export flop inputs as POs
backends/aiger/xaiger.cc