src/Testcases/Google/chapter-20/20.2--exit.sv - third_party/Surelog - Git at Google

 /*
 :name: exit_task
 :description: $exit test
 :should_fail: 0
 :tags: 20.2
 */
 module top();

 initial
 	$exit;

 endmodule
	/*
	:name: exit_task
	:description: $exit test
	:should_fail: 0
	:tags: 20.2
	*/
	module top();

	initial
	$exit;

	endmodule