write_xaiger to use original bit for co, not sigmap()-ed bit
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 19:15:25 +0000 (11:15 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 19:15:25 +0000 (11:15 -0800)
commit2f96a0ed32799eba95837d0b64953b889e607c22
tree0deb54c6320a4bdd74509571ca19e5c607b954bb
parentc6fd057eda5dba371ff9c1142019b801bee81111
write_xaiger to use original bit for co, not sigmap()-ed bit
backends/aiger/xaiger.cc