write_aiger: fix CI/CO and symbols
authorEddie Hung <eddieh@ece.ubc.ca>
Wed, 20 Feb 2019 23:35:32 +0000 (15:35 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Wed, 20 Feb 2019 23:35:32 +0000 (15:35 -0800)
commitf89b112fbf19a751070406449ab78f07b2c5e639
tree66c2d9b02731141bf9c2dcab48f8c1cc3f4c147d
parent43d5471570bd208ec87e2994f53a835c1e8ef3b9
write_aiger: fix CI/CO and symbols
backends/aiger/.xaiger.cc.swo [new file with mode: 0644]
backends/aiger/xaiger.cc