data/full_repos/permissive/515100461/ALU/sub.v
1: b"%Error: data/full_repos/permissive/515100461/ALU/sub.v:15: Cannot find file containing module: 'Add'\nAdd H2(notB,one,complB,dummy);\n^~~\n        ... Looked in:\n             data/full_repos/permissive/515100461/ALU,data/full_repos/permissive/515100461/Add\n             data/full_repos/permissive/515100461/ALU,data/full_repos/permissive/515100461/Add.v\n             data/full_repos/permissive/515100461/ALU,data/full_repos/permissive/515100461/Add.sv\n             Add\n             Add.v\n             Add.sv\n             obj_dir/Add\n             obj_dir/Add.v\n             obj_dir/Add.sv\n%Error: data/full_repos/permissive/515100461/ALU/sub.v:17: Cannot find file containing module: 'Add'\nAdd H3(A,complB,result,carry_overflow);\n^~~\n%Error: Exiting due to 2 error(s)\n"
module Sub(A,B,result,carry_overflow);

input signed [63:0]A,B;
output signed [63:0] result;

wire [63:0]notB; 
wire [63:0]one;
wire [63:0]complB;
output carry_overflow;

assign notB = ~B;

assign one = 64'b1;

Add H2(notB,one,complB,dummy);
            
Add H3(A,complB,result,carry_overflow);

endmodule
module Sub(A,B,result,carry_overflow);


input signed [63:0]A,B;
output signed [63:0] result;

wire [63:0]notB; 
wire [63:0]one;
wire [63:0]complB;
output carry_overflow;

assign notB = ~B;

assign one = 64'b1;

Add H2(notB,one,complB,dummy);
            
Add H3(A,complB,result,carry_overflow);

endmodule