write_xaiger: cleanup holes generation
authorEddie Hung <eddie@fpgeh.com>
Thu, 9 Jan 2020 02:27:09 +0000 (18:27 -0800)
committerEddie Hung <eddie@fpgeh.com>
Thu, 9 Jan 2020 02:27:09 +0000 (18:27 -0800)
commit7532416cd7a8c3fb41592c6677a30e0dad53813c
tree9bb157c48a5b3783cd5fce3a17d5f9192a8a2977
parent5f7349f26d814b8bf32a0e532b6f0fbacedcae90
write_xaiger: cleanup holes generation
backends/aiger/xaiger.cc