yosys/tests/verilog/block_labels.ys

27 lines
382 B
Plaintext

read_verilog <<EOT
module foo;
genvar a;
for (a = 0; a < 10; a++) begin : a
end : a
endmodule
EOT
read_verilog <<EOT
module foo2;
genvar a;
for (a = 0; a < 10; a++) begin : a
end
endmodule
EOT
logger -expect error "Begin label \(a\) and end label \(b\) don't match\." 1
read_verilog <<EOT
module foo3;
genvar a;
for (a = 0; a < 10; a++) begin : a
end : b
endmodule
EOT