data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v
1: b"%Error: data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v:5: Cannot find file containing module: 'NAND2X1'\nNAND2X1 uut0 (.Y(N10),.A(N1),.B(N3fo0));\n^~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark,data/full_repos/permissive/123193385/NAND2X1\n             data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark,data/full_repos/permissive/123193385/NAND2X1.v\n             data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark,data/full_repos/permissive/123193385/NAND2X1.sv\n             NAND2X1\n             NAND2X1.v\n             NAND2X1.sv\n             obj_dir/NAND2X1\n             obj_dir/NAND2X1.v\n             obj_dir/NAND2X1.sv\n%Error: data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v:6: Cannot find file containing module: 'NAND2X1'\nNAND2X1 uut1 (.Y(N11),.A(N3fo1),.B(N6));\n^~~~~~~\n%Error: data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v:7: Cannot find file containing module: 'NAND2X1'\nNAND2X1 uut2 (.Y(N16),.A(N2),.B(N11fo0));\n^~~~~~~\n%Error: data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v:8: Cannot find file containing module: 'NAND2X1'\nNAND2X1 uut3 (.Y(N19),.A(N11fo1),.B(N7));\n^~~~~~~\n%Error: data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v:9: Cannot find file containing module: 'NAND2X1'\nNAND2X1 uut4 (.Y(N22),.A(N10),.B(N16fo0));\n^~~~~~~\n%Error: data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v:10: Cannot find file containing module: 'NAND2X1'\nNAND2X1 uut5 (.Y(N23),.A(N16fo1),.B(N19));\n^~~~~~~\n%Error: data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v:11: Cannot find file containing module: 'fanout2'\nfanout2 uut_fo2 (.A(N3),.Y1(N3fo0),.Y2(N3fo1));\n^~~~~~~\n%Error: data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v:12: Cannot find file containing module: 'fanout2'\nfanout2 uut_fo_w0 (.A(N16),.Y1(N16fo0),.Y2(N16fo1));\n^~~~~~~\n%Error: data/full_repos/permissive/123193385/FaultCollapsing-/input/Benchmark/c17.v:13: Cannot find file containing module: 'fanout2'\nfanout2 uut_fo_w2 (.A(N11),.Y1(N11fo0),.Y2(N11fo1));\n^~~~~~~\n%Error: Exiting due to 9 error(s)\n"
module c17 (N1,N2,N3,N6,N7,N22,N23);
input N1,N2,N3,N6,N7;
output N22,N23;
wire N10,N11,N16,N19,N3fo0,N3fo1,N11fo0,N11fo1,N16fo0,N16fo1;
NAND2X1 uut0 (.Y(N10),.A(N1),.B(N3fo0));
NAND2X1 uut1 (.Y(N11),.A(N3fo1),.B(N6));
NAND2X1 uut2 (.Y(N16),.A(N2),.B(N11fo0));
NAND2X1 uut3 (.Y(N19),.A(N11fo1),.B(N7));
NAND2X1 uut4 (.Y(N22),.A(N10),.B(N16fo0));
NAND2X1 uut5 (.Y(N23),.A(N16fo1),.B(N19));
fanout2 uut_fo2 (.A(N3),.Y1(N3fo0),.Y2(N3fo1));
fanout2 uut_fo_w0 (.A(N16),.Y1(N16fo0),.Y2(N16fo1));
fanout2 uut_fo_w2 (.A(N11),.Y1(N11fo0),.Y2(N11fo1));
endmodule
module c17 (N1,N2,N3,N6,N7,N22,N23);

input N1,N2,N3,N6,N7;
output N22,N23;
wire N10,N11,N16,N19,N3fo0,N3fo1,N11fo0,N11fo1,N16fo0,N16fo1;
NAND2X1 uut0 (.Y(N10),.A(N1),.B(N3fo0));
NAND2X1 uut1 (.Y(N11),.A(N3fo1),.B(N6));
NAND2X1 uut2 (.Y(N16),.A(N2),.B(N11fo0));
NAND2X1 uut3 (.Y(N19),.A(N11fo1),.B(N7));
NAND2X1 uut4 (.Y(N22),.A(N10),.B(N16fo0));
NAND2X1 uut5 (.Y(N23),.A(N16fo1),.B(N19));
fanout2 uut_fo2 (.A(N3),.Y1(N3fo0),.Y2(N3fo1));
fanout2 uut_fo_w0 (.A(N16),.Y1(N16fo0),.Y2(N16fo1));
fanout2 uut_fo_w2 (.A(N11),.Y1(N11fo0),.Y2(N11fo1));
endmodule