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:40:17 +0000 (19:40 -0700)
commitb810bf26ab9e40e8d7e5a5001ac3a1708309a30b
treedbaf18493b3dd03a14a7344b3c75896156a3dd9a
parent242b72d4e11b815d0ca4fa80eee2e112333608d2
write_xaiger to flatten 1'bx/1'bz to 1'b0 again
backends/aiger/xaiger.cc