diff options
| author | whitequark <whitequark@whitequark.org> | 2021-03-07 05:48:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-07 05:48:03 -0800 |
| commit | 9bb839c613aff1d7658eac8ec46c3dcd3b220c5f (patch) | |
| tree | 1a78ba758840c0d74ea2f1a3ac8b55778e7e4f4b /tests/verilog/param_no_default_unbound_1.ys | |
| parent | 72ae15c77c34fe2306c3ac41c40521e9141b8cf0 (diff) | |
| parent | d738b2c1272b02d8799e9feda83b1eae8ba10c07 (diff) | |
| download | yosys-9bb839c613aff1d7658eac8ec46c3dcd3b220c5f.tar.gz yosys-9bb839c613aff1d7658eac8ec46c3dcd3b220c5f.tar.bz2 yosys-9bb839c613aff1d7658eac8ec46c3dcd3b220c5f.zip | |
Merge pull request #2626 from zachjs/param-no-default
sv: support for parameters without default values
Diffstat (limited to 'tests/verilog/param_no_default_unbound_1.ys')
| -rw-r--r-- | tests/verilog/param_no_default_unbound_1.ys | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tests/verilog/param_no_default_unbound_1.ys b/tests/verilog/param_no_default_unbound_1.ys new file mode 100644 index 000000000..4aab85ab5 --- /dev/null +++ b/tests/verilog/param_no_default_unbound_1.ys @@ -0,0 +1,12 @@ +read_verilog -sv <<EOF +module Example #( + parameter X +); +endmodule +module top; + Example e(); +endmodule +EOF + +logger -expect error "Parameter `\\X' has no default value and has not been overridden!" 1 +hierarchy -top top |