data/full_repos/permissive/143278/ivltests/pr2605006.v
[Errno 2] No such file or directory: 'preprocess.output'
data/verilator_xmls/c9955c85-1078-466f-bb41-0c4843fc2ae0.xml
module test();
   reg clk;

   reg [15:0] usb_shadow [0: 32];

   initial begin
      usb_shadow[6'b0_00000] = 'b0101;
      usb_shadow[6'b1_00000] = 'b1001;
      clk = 0;
      if (usb_shadow[{!clk,5'b0}][15:2] !== 2) begin
	 $display("FAILED");
	 $finish;
      end
      clk = 1;
      if (usb_shadow[{!clk,5'b0}][15:2] !== 1) begin
	 $display("FAILED");
	 $finish;
      end
      $display("PASSED");
   end
endmodule
module test();

   reg clk;

   reg [15:0] usb_shadow [0: 32];

   initial begin
      usb_shadow[6'b0_00000] = 'b0101;
      usb_shadow[6'b1_00000] = 'b1001;
      clk = 0;
      if (usb_shadow[{!clk,5'b0}][15:2] !== 2) begin
	 $display("FAILED");
	 $finish;
      end
      clk = 1;
      if (usb_shadow[{!clk,5'b0}][15:2] !== 1) begin
	 $display("FAILED");
	 $finish;
      end
      $display("PASSED");
   end
endmodule