Tidy up write_xaiger
authorEddie Hung <eddieh@ece.ubc.ca>
Sat, 16 Feb 2019 16:48:33 +0000 (08:48 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Sat, 16 Feb 2019 16:48:33 +0000 (08:48 -0800)
commit0c409e6d8cd51360b3099a725fdad6174a2dbb66
treebc702e5dba2f3345c986c0c6e66e1ccf358f5a0b
parent2c1655ae9440c470a62ab7e493024a94f5d054ad
Tidy up write_xaiger
backends/aiger/xaiger.cc