Fix "write_xaiger", and to write each box contents into holes
authorEddie Hung <eddie@fpgeh.com>
Sun, 26 May 2019 05:34:50 +0000 (22:34 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sun, 26 May 2019 05:34:50 +0000 (22:34 -0700)
commit01684643b6edd4290701b2e08114cb731db5f446
tree6c6a7b15a179a5681bfc816c19ccb85700534f8b
parent73c98f2ae2b302d859043853cf2286ac5e19f258
Fix "write_xaiger", and to write each box contents into holes
backends/aiger/xaiger.cc