data/full_repos/permissive/143278/ivltests/check_constant_19.v
1: b"%Error: data/full_repos/permissive/143278/ivltests/check_constant_19.v:14: Expecting expression to be constant, but variable isn't const: 'N'\n                                                                         : ... In instance top_module\n  Out[7:N] = Array[0][7:1];\n        ^\n%Error: data/full_repos/permissive/143278/ivltests/check_constant_19.v:14: First value of [a:b] isn't a constant, maybe you want +: or -:\n                                                                         : ... In instance top_module\n  Out[7:N] = Array[0][7:1];\n        ^\n%Error: Exiting due to 2 error(s)\n"
module top_module(
  input  wire [2:0] N,
  input  wire [7:0] In,
  output reg  [7:0] Out
);

wire [7:0] Array[7:0];

assign Array[0][0]   = In[0];
assign Array[0][7:1] = In[7:1];

initial begin
  Out[0]   = Array[0][0];
  Out[7:N] = Array[0][7:1];
end

endmodule
module top_module(
  input  wire [2:0] N,
  input  wire [7:0] In,
  output reg  [7:0] Out
);


wire [7:0] Array[7:0];

assign Array[0][0]   = In[0];
assign Array[0][7:1] = In[7:1];

initial begin
  Out[0]   = Array[0][0];
  Out[7:N] = Array[0][7:1];
end

endmodule