data/full_repos/permissive/118800618/MUX2T1_32.v
'utf-8' codec can't decode byte 0xa1 in position 608: invalid start byte
data/verilator_xmls/7a870d8d-43a0-4844-be29-b43103f7478c.xml
module  MUX2T1_32(input[31:0]I0,
						input[31:0]I1,
						input s,
						output reg[31:0]o
						 );

	always@*
		case(s)
			1'b0: o<=I0;
			1'b1: o<=I1;
		endcase

endmodule
module  MUX2T1_32(input[31:0]I0,
						input[31:0]I1,
						input s,
						output reg[31:0]o
						 );


	always@*
		case(s)
			1'b0: o<=I0;
			1'b1: o<=I1;
		endcase

endmodule