yosys/tests/verilog/block_end_label_only.ys at ql_mince - mirrors/yosys - Libre-Chip.org

mirrors/yosys

mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00

Zachary Snow f2c2d73f36 sv: fix up end label checking

- disallow [gen]blocks with an end label but not begin label
- check validity of module end label
- fix memory leak of package name and end label
- fix memory leak of module end label

2021-06-16 21:48:05 -04:00

9 lines

208 B

Text

Raw Permalink Blame History

 logger -expect error "Begin label missing where end label \(incorrect_name\) was given\." 1
 read_verilog -sv <<EOF
 module top;
 initial
     begin
         $display("HI");
     end : incorrect_name
 endmodule
 EOF