xaiger: do not treat (* init=1'bx *) as 1'b0
xaiger: do not treat (* init=1'bx *) as 1'b0

YosysHQ/yosys,YosysHQ/yosys,cliffordwolf/yosys,antmicro/yosys,cliffordwolf/yosys,antmicro/yosys,antmicro/yosys,antmicro/yosys,SymbiFlow/yosys,antmicro/yosys,SymbiFlow/yosys,antmicro/yosys,cliffordwolf/yosys,YosysHQ/yosys,SymbiFlow/yosys,YosysHQ/yosys,cliffordwolf/yosys,YosysHQ/yosys,YosysHQ/yosys,cliffordwolf/yosys,SymbiFlow/yosys,antmicro/yosys,cliffordwolf/yosys,antmicro/yosys,SymbiFlow/yosys,YosysHQ/yosys,YosysHQ/yosys,SymbiFlow/yosys,SymbiFlow/yosys,SymbiFlow/yosys,cliffordwolf/yosys,cliffordwolf/yosys,cliffordwolf/yosys