data/full_repos/permissive/118800618/addc_32.v
'utf-8' codec can't decode byte 0xb4 in position 508: invalid start byte
1: b'%Warning-WIDTH: data/full_repos/permissive/118800618/addc_32.v:31: Operator ADD expects 33 bits on the RHS, but RHS\'s VARREF \'C0\' generates 1 bits.\n                                                                 : ... In instance ADC32\n assign S = {1\'b0,A} + {C0,B} + C0;\n                              ^\n                ... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.\n%Error: Exiting due to 1 warning(s)\n'
module ADC32(input [31:0] A,
				 input [31:0] B, 
				 input C0,
				 output [32:0] S

				  );
				  



	assign S = {1'b0,A} + {C0,B} + C0;
endmodule
module ADC32(input [31:0] A,
				 input [31:0] B, 
				 input C0,
				 output [32:0] S

				  );

				  



	assign S = {1'b0,A} + {C0,B} + C0;
endmodule