yosys/tests/verilog/param_no_default_unbound_4.ys

read_verilog -sv <<EOF
module Example #(
    parameter X, Y
);
endmodule
module top;
    Example #(.Y(1)) e();
endmodule
EOF

logger -expect error 'Parameter `\\X. has no default value and has not been overridden!' 1
hierarchy -top top