data/full_repos/permissive/19384863/sixbitsub.v
1: b'%Error: data/full_repos/permissive/19384863/sixbitsub.v:4: Cannot find include file: sixbitadd.v\n`include "sixbitadd.v" \n         ^~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/19384863,data/full_repos/permissive/19384863/sixbitadd.v\n             data/full_repos/permissive/19384863,data/full_repos/permissive/19384863/sixbitadd.v.v\n             data/full_repos/permissive/19384863,data/full_repos/permissive/19384863/sixbitadd.v.sv\n             sixbitadd.v\n             sixbitadd.v.v\n             sixbitadd.v.sv\n             obj_dir/sixbitadd.v\n             obj_dir/sixbitadd.v.v\n             obj_dir/sixbitadd.v.sv\n%Error: Exiting due to 1 error(s)\n'
module sixbitsub (ain, bin, diff, overflow);
	input[5:0] ain;
	input[5:0] bin;
	output[5:0] diff;
	output overflow;

	wire[5:0] notb = ~bin + 1;

	sixbitadd ad1 (ain, notb, diff, overflow);
endmodule
module sixbitsub (ain, bin, diff, overflow);

	input[5:0] ain;
	input[5:0] bin;
	output[5:0] diff;
	output overflow;

	wire[5:0] notb = ~bin + 1;

	sixbitadd ad1 (ain, notb, diff, overflow);
endmodule