write_xaiger: make more robust, update doc
authorEddie Hung <eddie@fpgeh.com>
Mon, 6 Jan 2020 18:23:04 +0000 (10:23 -0800)
committerEddie Hung <eddie@fpgeh.com>
Mon, 6 Jan 2020 18:23:04 +0000 (10:23 -0800)
commit886c5c58834ccdb5f54dfbcb7d09908dc102e20a
tree05373c3d1d5f6328fe22fa835b69d7bcdf16ba92
parent19ec54f956924b93070d2970b51aa1d8dbe16b73
write_xaiger: make more robust, update doc
backends/aiger/xaiger.cc