Remove "write_xaiger -zinit"
authorEddie Hung <eddie@fpgeh.com>
Mon, 7 Oct 2019 18:58:49 +0000 (11:58 -0700)
committerEddie Hung <eddie@fpgeh.com>
Mon, 7 Oct 2019 18:58:49 +0000 (11:58 -0700)
commit1504ca2cd9211d9c4f31ecc262e347c842dc4fba
treed13f926e04aef54698b8db7669a9ec544aba9fb3
parente1554b56dd9c82b609c6565067160268cbc403f3
Remove "write_xaiger -zinit"
backends/aiger/xaiger.cc