write_xaiger: skip abc9_flop only if abc_box_seq present
authorEddie Hung <eddie@fpgeh.com>
Wed, 15 Jan 2020 19:25:20 +0000 (11:25 -0800)
committerEddie Hung <eddie@fpgeh.com>
Wed, 15 Jan 2020 19:25:20 +0000 (11:25 -0800)
commitd6da9c0c0f3b59706f509b7fd96ea793491a2307
tree931ae1ed487fb1a576a141da40184f88d1f7dcb3
parent1c41dc6b95c4c0261db96c15dd1b3cce8de6491f
write_xaiger: skip abc9_flop only if abc_box_seq present
backends/aiger/xaiger.cc