data/full_repos/permissive/497819211/00/And.v
1: b"%Error: data/full_repos/permissive/497819211/00/And.v:17: Cannot find file containing module: 'Nand'\n    Nand NAND(.a(a), .b(b), .out(notaandb));\n    ^~~~\n        ... Looked in:\n             data/full_repos/permissive/497819211/00,data/full_repos/permissive/497819211/Nand\n             data/full_repos/permissive/497819211/00,data/full_repos/permissive/497819211/Nand.v\n             data/full_repos/permissive/497819211/00,data/full_repos/permissive/497819211/Nand.sv\n             Nand\n             Nand.v\n             Nand.sv\n             obj_dir/Nand\n             obj_dir/Nand.v\n             obj_dir/Nand.sv\n%Error: data/full_repos/permissive/497819211/00/And.v:18: Cannot find file containing module: 'Not'\n    Not NOT(.in(notaandb), .out(out));\n    ^~~\n%Error: Exiting due to 2 error(s)\n"
module And(
	input a,
	input b,
	output out
);
    wire notaandb;


    Nand NAND(.a(a), .b(b), .out(notaandb));
    Not NOT(.in(notaandb), .out(out));


endmodule
module And(
	input a,
	input b,
	output out
);

    wire notaandb;


    Nand NAND(.a(a), .b(b), .out(notaandb));
    Not NOT(.in(notaandb), .out(out));


endmodule