tests/various/gen_if_null.ys

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