data/full_repos/permissive/143278/ivltests/br_gh19a.v
data/verilator_xmls/87f59457-fe95-41f8-967c-6a9d3216e8e1.xml
module bug();

reg a;
reg y;

initial begin
  a = 1;
  y = 1 >> {a, 64'b0};
  $display("%b", y);
  if (y === 1'b0)
    $display("PASSED");
  else
    $display("FAILED");
end

endmodule
module bug();


reg a;
reg y;

initial begin
  a = 1;
  y = 1 >> {a, 64'b0};
  $display("%b", y);
  if (y === 1'b0)
    $display("PASSED");
  else
    $display("FAILED");
end

endmodule