data/full_repos/permissive/458134463/Modules/mux2x1_3bit.v
1: b"%Error: data/full_repos/permissive/458134463/Modules/mux2x1_3bit.v:9: Cannot find file containing module: 'mux2x1'\nmux2x1 mux1(input1[0], input2[0], select, result[0]),\n^~~~~~\n        ... Looked in:\n             data/full_repos/permissive/458134463/Modules,data/full_repos/permissive/458134463/mux2x1\n             data/full_repos/permissive/458134463/Modules,data/full_repos/permissive/458134463/mux2x1.v\n             data/full_repos/permissive/458134463/Modules,data/full_repos/permissive/458134463/mux2x1.sv\n             mux2x1\n             mux2x1.v\n             mux2x1.sv\n             obj_dir/mux2x1\n             obj_dir/mux2x1.v\n             obj_dir/mux2x1.sv\n%Error: Exiting due to 1 error(s)\n"
module mux2x1_3bit(input1, input2, select, result);

input select;
input [2:0] input1;
input [2:0] input2;

output [2:0] result;

mux2x1 mux1(input1[0], input2[0], select, result[0]),
		 mux2(input1[1], input2[1], select, result[1]), 
		 mux3(input1[2], input2[2], select, result[2]);


endmodule
module mux2x1_3bit(input1, input2, select, result);


input select;
input [2:0] input1;
input [2:0] input2;

output [2:0] result;

mux2x1 mux1(input1[0], input2[0], select, result[0]),
		 mux2(input1[1], input2[1], select, result[1]), 
		 mux3(input1[2], input2[2], select, result[2]);


endmodule