xaiger: do not treat (* init=1'bx *) as 1'b0
authorEddie Hung <eddie@fpgeh.com>
Mon, 13 Apr 2020 23:20:15 +0000 (16:20 -0700)
committerEddie Hung <eddie@fpgeh.com>
Thu, 14 May 2020 17:33:56 +0000 (10:33 -0700)
commit90cd49995b9bf18c4b6e7e7bbea237617753b29b
tree700f53976511842c724b2cb0cb13f0bb79968659
parent6b3aa91a2a1f717ebf4ce7155b134e9d556ac1ab
xaiger: do not treat (* init=1'bx *) as 1'b0
backends/aiger/xaiger.cc