Skip to content

Commit 04b418e

Browse files
authored
Merge pull request #1446 from diffblue/named_parameter_assignment1
SystemVerilog: KNOWNBUG test for subroutine calls
2 parents 753e9c4 + ded0860 commit 04b418e

File tree

2 files changed

+22
-0
lines changed

2 files changed

+22
-0
lines changed
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
KNOWNBUG
2+
named_parameter_assignment1.sv
3+
--module main
4+
^EXIT=0$
5+
^SIGNAL=0$
6+
--
7+
^warning: ignoring
8+
--
9+
This does not parse.
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
module main;
2+
3+
function [31:0] my_greater(int a, int b);
4+
my_greater = a > b;
5+
endfunction
6+
7+
initial assert(my_greater(2, 1));
8+
initial assert(my_greater(.a(2), .b(1)));
9+
initial assert(my_greater(2, .b(1)));
10+
initial assert(!my_greater(.a(1), .b(2)));
11+
initial assert(!my_greater(.b(2), .a(1)));
12+
13+
endmodule

0 commit comments

Comments
 (0)