data/full_repos/permissive/41334298/tests/BDD_wrong/in_2.v
1: b'%Warning-IMPLICIT: data/full_repos/permissive/41334298/tests/BDD_wrong/in_2.v:10: Signal definition not found, creating implicitly: \'n5\'\n                                                                                : ... Suggested alternative: \'n1\'\nnand( n5, c, n4 );\n      ^~\n                   ... Use "/* verilator lint_off IMPLICIT */" and lint_on around source to disable this message.\n%Error: Exiting due to 1 warning(s)\n'
module top (a, b, c, x);
input a, b, c;
output x;

wire n1, n4, n6, n7;

or ( n1, a, b);
nand( n4, n1, c);
nand( n6, n4, n1);
nand( n5, c, n4 );
nand( n7, n5, n6);
buf( x, n7);

endmodule
module top (a, b, c, x);

input a, b, c;
output x;

wire n1, n4, n6, n7;

or ( n1, a, b);
nand( n4, n1, c);
nand( n6, n4, n1);
nand( n5, c, n4 );
nand( n7, n5, n6);
buf( x, n7);

endmodule