Fix different abc9 test
authorEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 02:31:22 +0000 (19:31 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 02:31:22 +0000 (19:31 -0700)
commit494610911ae2a5b2b73d0f5e030f237df56d3fb5
tree105d0b64e41eea8ffc33f8c4725f549f3ca96587
parentc421d48d6d5519b24b4596d695c3cf7c43b468f4
Fix different abc9 test
backends/aiger/xaiger.cc