write_xaiger to flatten 1'bx/1'bz to 1'b0 again
authorEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 02:40:17 +0000 (19:40 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 02:41:27 +0000 (19:41 -0700)
commit8e56cfb6bbaa4e61b201c123b04a4eb4ca3403cf
tree4579b79c836d50c41cd3c64c2c6ceda63dbc1bfb
parent0e97e6a00dfda0b4755599d4decdafb545e07aaa
write_xaiger to flatten 1'bx/1'bz to 1'b0 again
backends/aiger/xaiger.cc