data/full_repos/permissive/159970601/picosoc/top.v
1: b"%Error: data/full_repos/permissive/159970601/picosoc/top.v:13: Cannot find file containing module: 'attosoc'\nattosoc soc(\n^~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/159970601/picosoc,data/full_repos/permissive/159970601/attosoc\n             data/full_repos/permissive/159970601/picosoc,data/full_repos/permissive/159970601/attosoc.v\n             data/full_repos/permissive/159970601/picosoc,data/full_repos/permissive/159970601/attosoc.sv\n             attosoc\n             attosoc.v\n             attosoc.sv\n             obj_dir/attosoc\n             obj_dir/attosoc.v\n             obj_dir/attosoc.sv\n%Error: Exiting due to 1 error(s)\n"
module top(
	input CLK_IN,
	input RST_N,
	output LED_R,
	output LED_B
);

reg [23:0] div;

always @(posedge CLK_IN)
    div <= div + 1'b1;

attosoc soc(
	.clk(div[20]),
	.resetn(RST_N),
	.led(LED_R)
);
endmodule
module top(
	input CLK_IN,
	input RST_N,
	output LED_R,
	output LED_B
);


reg [23:0] div;

always @(posedge CLK_IN)
    div <= div + 1'b1;

attosoc soc(
	.clk(div[20]),
	.resetn(RST_N),
	.led(LED_R)
);
endmodule