data/full_repos/permissive/143278/ivltests/pr2593733.v
data/verilator_xmls/d759f692-2df8-4e20-8b66-18c2283e8aa9.xml
module use_wid_gt_zero_assert (
);

parameter width = 1;
parameter option = "OFF";

reg [width-1:0] dst;

initial
begin
    dst = (option == "ON") ? {width{1'b1}} : {width{1'b0}};
    if (dst === 1'b0)
      $display("PASSED");
    else
      $display("FAILED");
end

endmodule
module use_wid_gt_zero_assert (
);


parameter width = 1;
parameter option = "OFF";

reg [width-1:0] dst;

initial
begin
    dst = (option == "ON") ? {width{1'b1}} : {width{1'b0}};
    if (dst === 1'b0)
      $display("PASSED");
    else
      $display("FAILED");
end

endmodule