data/full_repos/permissive/42434302/ivltests/param_test3.v
1: b"%Error: data/full_repos/permissive/42434302/ivltests/param_test3.v:25: Parameter pin not found: '__paramNumber1'\nm #(1,2,3) am(a);\n    ^\n%Error: data/full_repos/permissive/42434302/ivltests/param_test3.v:25: Parameter pin not found: '__paramNumber2'\nm #(1,2,3) am(a);\n      ^\n%Error: data/full_repos/permissive/42434302/ivltests/param_test3.v:25: Parameter pin not found: '__paramNumber3'\nm #(1,2,3) am(a);\n        ^\n%Error: Exiting due to 3 error(s)\n"
module n;
wire a;
m #(1,2,3) am(a);
endmodule
module n;

wire a;
m #(1,2,3) am(a);
endmodule