write_xaiger: fix for (* keep *) on flop output
authorEddie Hung <eddie@fpgeh.com>
Tue, 21 Jan 2020 17:43:04 +0000 (09:43 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 21 Jan 2020 17:43:04 +0000 (09:43 -0800)
commitcd8f55a91100b8dcf8b4775803cbacf70f5a998c
tree6ad1a8856d8c2292c76abd60781df682c19cc296
parentd4e188299ba729756ee689d14c81aab68a7ca1b7
write_xaiger: fix for (* keep *) on flop output
backends/aiger/xaiger.cc
tests/various/abc9.ys