We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents d14089a + 86b9c00 commit 66ab576Copy full SHA for 66ab576
regression/verilog/modules/nested1.desc
@@ -0,0 +1,6 @@
1
+KNOWNBUG
2
+nested1.sv
3
+
4
+^EXIT=0$
5
+^SIGNAL=0$
6
+--
regression/verilog/modules/nested1.sv
@@ -0,0 +1,11 @@
+module main;
+ module my_module;
+ wire [7:0] value = 123;
+ endmodule
7
+ my_module m();
8
9
+ assert final (m.value == 123);
10
11
+endmodule
0 commit comments