yosys/tests/verilog/param_no_default_unbound_3.ys

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

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