data/full_repos/permissive/500711628/garbage/condadd/condadd.v
data/verilator_xmls/936c8b02-3356-4e2a-9556-1a807b05d7c8.xml
function check;
	input [2:0] opflag;
	begin
	if(opflag == 3'b101) check = 1;
	else check =0;
	end
	endfunction
function check;

	input [2:0] opflag;
	begin
	if(opflag == 3'b101) check = 1;
	else check =0;
	end
	endfunction