xref: /dports/cad/yosys/yosys-yosys-0.12/tests/various/gen_if_null.ys

read_verilog gen_if_null.v
select -assert-count 1 test/genblk1.x
select -assert-count 1 test/genblk2.y
select -assert-count 1 test/z