data/full_repos/permissive/509809169/Verification_ Reading Simulations/Finding bugs in code/Mux(1).v
1: b'%Error: Cannot find file containing module: Reading\n        ... Looked in:\n             data/full_repos/permissive/509809169/Verification_/Reading\n             data/full_repos/permissive/509809169/Verification_/Reading.v\n             data/full_repos/permissive/509809169/Verification_/Reading.sv\n             Reading\n             Reading.v\n             Reading.sv\n             obj_dir/Reading\n             obj_dir/Reading.v\n             obj_dir/Reading.sv\n%Error: Cannot find file containing module: Simulations/Finding\n%Error: Cannot find file containing module: bugs\n%Error: Cannot find file containing module: in\n%Error: Cannot find file containing module: code,data/full_repos/permissive/509809169\n%Error: Cannot find file containing module: data/full_repos/permissive/509809169/Verification_\n%Error: Cannot find file containing module: code/Mux(1).v\n%Error: Exiting due to 7 error(s)\n'
module top_module (
    input [1:0] sel,
    input [7:0] a,
    input [7:0] b,
    input [7:0] c,
    input [7:0] d,
    output [7:0] out  );

    wire [7:0] mux0, mux1;
    mux2 ins1 ( sel[0],    a,    b, mux0 );
    mux2 ins2 ( sel[0],    c,    d, mux1 );
    mux2 ins3 ( sel[1], mux0, mux1,  out );

endmodule
module top_module (
    input [1:0] sel,
    input [7:0] a,
    input [7:0] b,
    input [7:0] c,
    input [7:0] d,
    output [7:0] out  );


    wire [7:0] mux0, mux1;
    mux2 ins1 ( sel[0],    a,    b, mux0 );
    mux2 ins2 ( sel[0],    c,    d, mux1 );
    mux2 ins3 ( sel[1], mux0, mux1,  out );

endmodule