data/full_repos/permissive/499137621/CheckPoint2_32bit_ALU_project-main/mux_2to1_.v
data/verilator_xmls/71321ded-face-41e5-a1a7-76579fa7dd11.xml
module mux_2to1_(a_0, b_1,  s, out);
	input a_0,b_1;
	input s;
	wire int_out;
	output out;

	assign out=(s)?b_1:a_0;

endmodule
module mux_2to1_(a_0, b_1,  s, out);

	input a_0,b_1;
	input s;
	wire int_out;
	output out;

	assign out=(s)?b_1:a_0;

endmodule