SVIncCompil/Testcases/Google/chapter-9/9.2.2.2--always_comb.sv - third_party/Surelog - Git at Google

 /*
 :name: always_comb
 :description: always_comb check
 :should_fail: 0
 :tags: 9.2.2.2
 */
 module always_tb ();
 	wire a = 0;
 	reg b = 0;
 	always_comb
 		b = ~a;
 endmodule
	/*
	:name: always_comb
	:description: always_comb check
	:should_fail: 0
	:tags: 9.2.2.2
	*/
	module always_tb ();
	wire a = 0;
	reg b = 0;
	always_comb
	b = ~a;
	endmodule