test/error/binding_not_found_param.sv

// pattern: unknown binding "R" specified for parameter overrides in instance "e" of module "example", 2 available \("P", "Q"\)
module example;
    parameter P = 1;
    parameter Q = 1;
endmodule
module top;
    example #(.P(1), .R(2)) e();
endmodule
improve binding resolution error messages 2024-12-15 00:42:13 -05:00			`// pattern: unknown binding "R" specified for parameter overrides in instance "e" of module "example", 2 available \("P", "Q"\)`
check for unknown named bindings 2021-06-01 13:09:36 -04:00			`module example;`
			`parameter P = 1;`
			`parameter Q = 1;`
			`endmodule`
			`module top;`
			`example #(.P(1), .R(2)) e();`
			`endmodule`