data/full_repos/permissive/143278/ivltests/pr2459681.v
data/verilator_xmls/e5332642-f293-4584-9d4a-636b07469f6f.xml
module bug();

reg [7:0] memory[1:0];

reg index;

initial begin
  index = 0;
  memory[~index] = 1;
  if (memory[1] === 1)
    $display("PASSED");
  else
    $display("FAILED");
end

endmodule
module bug();


reg [7:0] memory[1:0];

reg index;

initial begin
  index = 0;
  memory[~index] = 1;
  if (memory[1] === 1)
    $display("PASSED");
  else
    $display("FAILED");
end

endmodule