SVIncCompil/Testcases/Google/chapter-7/arrays/packed/querying-functions/right.sv - third_party/Surelog - Git at Google

 /*
 :name: arrays-packed-quering-functions-right
 :description: Test quering functions support on packed arrays
 :should_fail: 0
 :tags: 7.11 7.4.1
 */
 module top ();

 bit [7:0] arr;

 initial begin
 	$display(":assert: (%d == 0)", $right(arr));
 end

 endmodule
	/*
	:name: arrays-packed-quering-functions-right
	:description: Test quering functions support on packed arrays
	:should_fail: 0
	:tags: 7.11 7.4.1
	*/
	module top ();

	bit [7:0] arr;

	initial begin
	$display(":assert: (%d == 0)", $right(arr));
	end

	endmodule