Retry getting rid of write_xaiger's holes_mode
authorEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 17:59:17 +0000 (09:59 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 17:59:17 +0000 (09:59 -0800)
commit3798fa3bead6b944ebdee892c9bf5231559766f1
tree18deb86ab18c60aa5c7ad7ed93d58d532ba45d7c
parent436c96e2fba0d7f73adb0ebb2b69821fe1dfc58c
Retry getting rid of write_xaiger's holes_mode
backends/aiger/xaiger.cc