write_aiger: make more robust
authorEddie Hung <eddie@fpgeh.com>
Mon, 6 Jan 2020 18:18:59 +0000 (10:18 -0800)
committerEddie Hung <eddie@fpgeh.com>
Mon, 6 Jan 2020 18:18:59 +0000 (10:18 -0800)
commit19ec54f956924b93070d2970b51aa1d8dbe16b73
tree52712d2167398a535717b9a72d4932bec0fded96
parentf576721a37b49152990eaba3e2eff23b2c10c2e6
write_aiger: make more robust
backends/aiger/aiger.cc