SVIncCompil/Testcases/Google/chapter-7/queues/size.sv - third_party/Surelog - Git at Google

 /*
 :name: size
 :description: Test queues size support
 :should_fail: 0
 :tags: 7.10.2.1 7.10.2
 */
 module top ();

 int q[$];

 initial begin
 	$display(":assert: (%d == 0)", q.size);
 end

 endmodule
	/*
	:name: size
	:description: Test queues size support
	:should_fail: 0
	:tags: 7.10.2.1 7.10.2
	*/
	module top ();

	int q[$];

	initial begin
	$display(":assert: (%d == 0)", q.size);
	end

	endmodule