diff options
| author | Zachary Snow <zach@zachjs.com> | 2021-05-10 11:06:02 -0400 |
|---|---|---|
| committer | Zachary Snow <zachary.j.snow@gmail.com> | 2021-05-10 14:37:32 -0400 |
| commit | 445208086121ea343bdb80a9998637361c841bea (patch) | |
| tree | fbd5fe2314350d702fe8b94fff0bd913b33958f1 /tests/verilog/package_end_label.ys | |
| parent | 32a0ce9d6809d073abcbf19fe3eaf7a0cf936963 (diff) | |
| download | yosys-445208086121ea343bdb80a9998637361c841bea.tar.gz yosys-445208086121ea343bdb80a9998637361c841bea.tar.bz2 yosys-445208086121ea343bdb80a9998637361c841bea.zip | |
sv: check validity of package end label
Diffstat (limited to 'tests/verilog/package_end_label.ys')
| -rw-r--r-- | tests/verilog/package_end_label.ys | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/verilog/package_end_label.ys b/tests/verilog/package_end_label.ys new file mode 100644 index 000000000..ccc5c96e9 --- /dev/null +++ b/tests/verilog/package_end_label.ys @@ -0,0 +1,15 @@ +logger -expect-no-warnings +read_verilog -sv <<EOF +package correct_name; +localparam X = 1; +endpackage : correct_name +EOF + +design -reset + +logger -expect error "Package name \(correct_name\) and end label \(incorrect_name\) don't match\." 1 +read_verilog -sv <<EOF +package correct_name; +localparam X = 1; +endpackage : incorrect_name +EOF |