Skip to content

Commit b9b7133

Browse files
authored
Merge pull request #1107 from diffblue/nettype1
KNOWNBUG test for `nettype`
2 parents 71e5d93 + a1da5c7 commit b9b7133

File tree

2 files changed

+20
-0
lines changed

2 files changed

+20
-0
lines changed
+9
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
KNOWNBUG
2+
nettype1.sv
3+
4+
^EXIT=0$
5+
^SIGNAL=0$
6+
--
7+
^warning: ignoring
8+
--
9+
nettype is not implemented.
+11
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
module main;
2+
3+
nettype logic [31:0] some_word_type;
4+
nettype logic signed [31:0] some_signed_type;
5+
6+
some_word_type some_word;
7+
some_signed_type some_signed;
8+
9+
p0: assert final ($bits(some_word) == 32);
10+
11+
endmodule

0 commit comments

Comments
 (0)