SVIncCompil/Testcases/Google/chapter-16/16.2--assert-final.sv - third_party/Surelog - Git at Google

 /*
 :name: assert_final_test
 :description: assert final test
 :should_fail: 0
 :tags: 16.4
 */
 module top();

 logic a = 1;

 assert final (a != 0);

 endmodule
	/*
	:name: assert_final_test
	:description: assert final test
	:should_fail: 0
	:tags: 16.4
	*/
	module top();

	logic a = 1;

	assert final (a != 0);

	endmodule