/*
:name: case_set
:description: A module testing case set membership
:should_fail: 0
:tags: 12.5.4
*/
module case_tb ();
	reg [3:0] a = 0;
	reg [3:0] b = 0;
	always begin
		case(a) inside
			1, 3: b = 1;
			4'b01??, [5:6]: b = 2;
			default b = 3;
		endcase
	end
endmodule