data/full_repos/permissive/20803096/dflipflop.v
1: b"%Error: data/full_repos/permissive/20803096/dflipflop.v:10: Cannot find file containing module: 'rslatch'\n rslatch rs1 (w1, d, e, q, nq);\n ^~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/20803096,data/full_repos/permissive/20803096/rslatch\n             data/full_repos/permissive/20803096,data/full_repos/permissive/20803096/rslatch.v\n             data/full_repos/permissive/20803096,data/full_repos/permissive/20803096/rslatch.sv\n             rslatch\n             rslatch.v\n             rslatch.sv\n             obj_dir/rslatch\n             obj_dir/rslatch.v\n             obj_dir/rslatch.sv\n%Error: Exiting due to 1 error(s)\n"
module dflipflop (d, e, q, nq);
	input d;
	input e;
	output q;
	output nq;
	
	wire w1;

	not (w1, d);
	rslatch rs1 (w1, d, e, q, nq);
endmodule
module dflipflop (d, e, q, nq);

	input d;
	input e;
	output q;
	output nq;
	
	wire w1;

	not (w1, d);
	rslatch rs1 (w1, d, e, q, nq);
endmodule