yosys/tests/verilog/task_attr.ys

29 lines
509 B
Plaintext

read_verilog <<EOT
module top;
task foo;
endtask
always @*
(* foo *) foo;
initial
if (0) $info("bar");
endmodule
EOT
# Since task enables are not an RTLIL object,
# any attributes on their AST get dropped
select -assert-none a:* a:src %d
logger -expect error "syntax error, unexpected ';', expecting ATTR_BEGIN or TOK_INCREMENT or TOK_DECREMENT" 1
design -reset
read_verilog <<EOT
module top;
task foo;
endtask
always @*
foo (* foo *);
endmodule
EOT