More write_xaiger cleanup
authorEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 17:00:57 +0000 (10:00 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 17:00:57 +0000 (10:00 -0700)
commit14e870d4c47e18abf45f82f2d9329d1488e0650c
tree1a0905d2200a45b5e3757a8d6a6d5a26b85419e0
parent4be417f6e15ee3f3d8da8cd75d8405b90d5b32ba
More write_xaiger cleanup
backends/aiger/xaiger.cc
passes/techmap/abc9.cc