SVIncCompil/Testcases/Google/chapter-11/11.5.1--idx_pos_part_select.sv - third_party/Surelog - Git at Google

 /*
 :name: idx_pos_part_select
 :description: indexed positive part-select bit test
 :should_fail: 0
 :tags: 11.5.1
 */
 module top();
 logic [15:0] a;
 logic [3:0] b;

 initial begin
 	b = a[11+:4];
 end

 endmodule
	/*
	:name: idx_pos_part_select
	:description: indexed positive part-select bit test
	:should_fail: 0
	:tags: 11.5.1
	*/
	module top();
	logic [15:0] a;
	logic [3:0] b;

	initial begin
	b = a[11+:4];
	end

	endmodule