Skip to content

Commit fe6b786

Browse files
authored
Merge pull request #1122 from diffblue/assignment_statement1
test for assignment statement with multiple assignments
2 parents e3e4f42 + 98180ce commit fe6b786

File tree

2 files changed

+16
-0
lines changed

2 files changed

+16
-0
lines changed
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
assignment_statement1.sv
3+
4+
^EXIT=0$
5+
^SIGNAL=0$
6+
--
7+
^warning: ignoring
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
module main;
2+
3+
wire [31:0] x, y;
4+
5+
assign x = 1, y = 2;
6+
7+
assert final (x == 1 && y == 2);
8+
9+
endmodule

0 commit comments

Comments
 (0)