Skip to content

Commit 7dfd0f2

Browse files
authored
Merge pull request #946 from diffblue/task_invocation1
Verilog: KNOWNBUG test for task invocation without parentheses
2 parents 5ffa8e0 + d4845d1 commit 7dfd0f2

File tree

2 files changed

+21
-0
lines changed

2 files changed

+21
-0
lines changed
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
KNOWNBUG
2+
task_invocation1.sv
3+
4+
^EXIT=0$
5+
^SIGNAL=0$
6+
--
7+
^warning: ignoring
8+
--
9+
The parser rejects invocations without ().
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
module top(output reg [31:0] y);
2+
3+
task my_task;
4+
y=123;
5+
endtask
6+
7+
// the parentheses are optional
8+
always_comb my_task;
9+
10+
assert final (y==123);
11+
12+
endmodule

0 commit comments

Comments
 (0)