SVIncCompil/Testcases/Google/chapter-6/6.19.5.4--enum_prev.sv - third_party/Surelog - Git at Google

 /*
 :name: enum_prev
 :description: enum prev method tests
 :should_fail: 0
 :tags: 6.19.5.4
 */
 module top();
 	typedef enum {a, b, c, d} e;

 	initial begin
 		e val = b;
 		val = val.prev();
 	end
 endmodule
	/*
	:name: enum_prev
	:description: enum prev method tests
	:should_fail: 0
	:tags: 6.19.5.4
	*/
	module top();
	typedef enum {a, b, c, d} e;

	initial begin
	e val = b;
	val = val.prev();
	end
	endmodule