data/full_repos/permissive/454159683/detprim4b/detprim4b.v
data/verilator_xmls/8283d51b-3bb6-4d54-9d35-5ab39c7dbf44.xml
module detprim4b(input [3:0] num, output reg out);
	always @(num)
	begin
		if (num == 2 || num == 3 || num == 5 || num == 7 || num == 11 || num == 13)
			out = 1;
		else
			out = 0;
	end
endmodule
module detprim4b(input [3:0] num, output reg out);

	always @(num)
	begin
		if (num == 2 || num == 3 || num == 5 || num == 7 || num == 11 || num == 13)
			out = 1;
		else
			out = 0;
	end
endmodule