File: t_randsequence.out

package info (click to toggle)
verilator 5.038-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 162,552 kB
  • sloc: cpp: 139,204; python: 20,931; ansic: 10,222; yacc: 6,000; lex: 1,925; makefile: 1,260; sh: 494; perl: 282; fortran: 22
file content (398 lines) | stat: -rw-r--r-- 21,949 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
%Error-UNSUPPORTED: t/t_randsequence.v:24:17: Unsupported: randsequence production id
   24 |          main : one;
      |                 ^~~
                    ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error-UNSUPPORTED: t/t_randsequence.v:24:15: Unsupported: randsequence production
   24 |          main : one;
      |               ^
%Error-UNSUPPORTED: t/t_randsequence.v:25:14: Unsupported: randsequence production
   25 |          one : { o = 1; };
      |              ^
%Error-UNSUPPORTED: t/t_randsequence.v:23:7: Unsupported: randsequence
   23 |       randsequence(main)
      |       ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:41:16: Unsupported: randsequence production id
   41 |          main: one two three;
      |                ^~~
%Error-UNSUPPORTED: t/t_randsequence.v:41:20: Unsupported: randsequence production id
   41 |          main: one two three;
      |                    ^~~
%Error-UNSUPPORTED: t/t_randsequence.v:41:24: Unsupported: randsequence production id
   41 |          main: one two three;
      |                        ^~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:41:14: Unsupported: randsequence production
   41 |          main: one two three;
      |              ^
%Error-UNSUPPORTED: t/t_randsequence.v:42:13: Unsupported: randsequence production
   42 |          two: { do if ((seq) !== (1)) begin $write("%%Error: %s:%0d:  got=%0d exp=%0d\n", "t/t_randsequence.v",42, (seq), (1)); $stop; end while(0);; seq = 2; };
      |             ^
%Error-UNSUPPORTED: t/t_randsequence.v:43:13: Unsupported: randsequence production
   43 |          one: { do if ((seq) !== (0)) begin $write("%%Error: %s:%0d:  got=%0d exp=%0d\n", "t/t_randsequence.v",43, (seq), (0)); $stop; end while(0);; seq = 1; };
      |             ^
%Error-UNSUPPORTED: t/t_randsequence.v:44:15: Unsupported: randsequence production
   44 |          three: { do if ((seq) !== (2)) begin $write("%%Error: %s:%0d:  got=%0d exp=%0d\n", "t/t_randsequence.v",44, (seq), (2)); $stop; end while(0);; seq = 3; };
      |               ^
%Error-UNSUPPORTED: t/t_randsequence.v:40:7: Unsupported: randsequence
   40 |       randsequence(main)
      |       ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:52:17: Unsupported: randsequence production
   52 |          unnamed: { seq = 2; };
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:51:7: Unsupported: randsequence
   51 |       randsequence()
      |       ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:59:17: Unsupported: randsequence production
   59 |          unnamed: { };
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:58:7: Unsupported: randsequence
   58 |       randsequence()
      |       ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:66:19: Unsupported: randsequence production id
   66 |             main: one | two | three := 2;
      |                   ^~~
%Error-UNSUPPORTED: t/t_randsequence.v:66:25: Unsupported: randsequence production id
   66 |             main: one | two | three := 2;
      |                         ^~~
%Error-UNSUPPORTED: t/t_randsequence.v:66:31: Unsupported: randsequence production id
   66 |             main: one | two | three := 2;
      |                               ^~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:66:31: Unsupported: randsequence rule
   66 |             main: one | two | three := 2;
      |                               ^~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:66:17: Unsupported: randsequence production
   66 |             main: one | two | three := 2;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:67:16: Unsupported: randsequence production
   67 |             one: { ++counts[0]; };
      |                ^
%Error-UNSUPPORTED: t/t_randsequence.v:68:16: Unsupported: randsequence production
   68 |             two: { ++counts[1]; };
      |                ^
%Error-UNSUPPORTED: t/t_randsequence.v:69:18: Unsupported: randsequence production
   69 |             three: { ++counts[2]; };
      |                  ^
%Error-UNSUPPORTED: t/t_randsequence.v:65:10: Unsupported: randsequence
   65 |          randsequence(main)
      |          ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:80:19: Unsupported: randsequence production id
   80 |             main: one_if;
      |                   ^~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:80:17: Unsupported: randsequence production
   80 |             main: one_if;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:81:38: Unsupported: randsequence production id
   81 |             one_if: if (i % 10 == 0) count_1 else most;
      |                                      ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:81:51: Unsupported: randsequence production id
   81 |             one_if: if (i % 10 == 0) count_1 else most;
      |                                                   ^~~~
%Error-UNSUPPORTED: t/t_randsequence.v:81:21: Unsupported: randsequence if
   81 |             one_if: if (i % 10 == 0) count_1 else most;
      |                     ^~
%Error-UNSUPPORTED: t/t_randsequence.v:81:19: Unsupported: randsequence production
   81 |             one_if: if (i % 10 == 0) count_1 else most;
      |                   ^
%Error-UNSUPPORTED: t/t_randsequence.v:82:20: Unsupported: randsequence production
   82 |             count_1: { ++counts[1]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:83:20: Unsupported: randsequence production
   83 |             count_2: { ++counts[2]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:84:20: Unsupported: randsequence production
   84 |             count_3: { ++counts[3]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:85:20: Unsupported: randsequence production
   85 |             count_4: { ++counts[4]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:86:16: Unsupported: randsequence production
   86 |             bad: { $stop; };
      |                ^
%Error-UNSUPPORTED: t/t_randsequence.v:88:24: Unsupported: randsequence production id
   88 |                     0: bad;
      |                        ^~~
%Error-UNSUPPORTED: t/t_randsequence.v:88:22: Unsupported: randsequence case item
   88 |                     0: bad;
      |                      ^
%Error-UNSUPPORTED: t/t_randsequence.v:89:27: Unsupported: randsequence production id
   89 |                     1, 2: count_2;
      |                           ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:89:25: Unsupported: randsequence case item
   89 |                     1, 2: count_2;
      |                         ^
%Error-UNSUPPORTED: t/t_randsequence.v:90:30: Unsupported: randsequence production id
   90 |                     3, 4, 5: count_3;
      |                              ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:90:28: Unsupported: randsequence case item
   90 |                     3, 4, 5: count_3;
      |                            ^
%Error-UNSUPPORTED: t/t_randsequence.v:91:30: Unsupported: randsequence production id
   91 |                     default: count_4;
      |                              ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:91:21: Unsupported: randsequence case item
   91 |                     default: count_4;
      |                     ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:87:19: Unsupported: randsequence case
   87 |             most: case (i % 10)
      |                   ^~~~
%Error-UNSUPPORTED: t/t_randsequence.v:87:17: Unsupported: randsequence production
   87 |             most: case (i % 10)
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:79:10: Unsupported: randsequence
   79 |          randsequence(main)
      |          ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:104:19: Unsupported: randsequence production id
  104 |             main: one_if;
      |                   ^~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:104:17: Unsupported: randsequence production
  104 |             main: one_if;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:105:38: Unsupported: randsequence production id
  105 |             one_if: if (i % 10 == 0) count_1 else most;
      |                                      ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:105:51: Unsupported: randsequence production id
  105 |             one_if: if (i % 10 == 0) count_1 else most;
      |                                                   ^~~~
%Error-UNSUPPORTED: t/t_randsequence.v:105:21: Unsupported: randsequence if
  105 |             one_if: if (i % 10 == 0) count_1 else most;
      |                     ^~
%Error-UNSUPPORTED: t/t_randsequence.v:105:19: Unsupported: randsequence production
  105 |             one_if: if (i % 10 == 0) count_1 else most;
      |                   ^
%Error-UNSUPPORTED: t/t_randsequence.v:106:20: Unsupported: randsequence production
  106 |             count_1: { ++counts[1]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:107:20: Unsupported: randsequence production
  107 |             count_2: { ++counts[2]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:108:20: Unsupported: randsequence production
  108 |             count_3: { ++counts[3]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:109:20: Unsupported: randsequence production
  109 |             count_4: { ++counts[4]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:110:16: Unsupported: randsequence production
  110 |             bad: { $stop; };
      |                ^
%Error-UNSUPPORTED: t/t_randsequence.v:112:24: Unsupported: randsequence production id
  112 |                     0: bad;
      |                        ^~~
%Error-UNSUPPORTED: t/t_randsequence.v:112:22: Unsupported: randsequence case item
  112 |                     0: bad;
      |                      ^
%Error-UNSUPPORTED: t/t_randsequence.v:113:27: Unsupported: randsequence production id
  113 |                     1, 2: count_2;
      |                           ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:113:25: Unsupported: randsequence case item
  113 |                     1, 2: count_2;
      |                         ^
%Error-UNSUPPORTED: t/t_randsequence.v:114:30: Unsupported: randsequence production id
  114 |                     3, 4, 5: count_3;
      |                              ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:114:28: Unsupported: randsequence case item
  114 |                     3, 4, 5: count_3;
      |                            ^
%Error-UNSUPPORTED: t/t_randsequence.v:115:29: Unsupported: randsequence production id
  115 |                     default count_4;   
      |                             ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:115:21: Unsupported: randsequence case item
  115 |                     default count_4;   
      |                     ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:111:19: Unsupported: randsequence case
  111 |             most: case (i % 10)
      |                   ^~~~
%Error-UNSUPPORTED: t/t_randsequence.v:111:17: Unsupported: randsequence production
  111 |             most: case (i % 10)
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:103:10: Unsupported: randsequence
  103 |          randsequence(main)
      |          ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:127:27: Unsupported: randsequence production id
  127 |          main: repeat(10) count_1;
      |                           ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:127:16: Unsupported: randsequence repeat
  127 |          main: repeat(10) count_1;
      |                ^~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:127:14: Unsupported: randsequence production
  127 |          main: repeat(10) count_1;
      |              ^
%Error-UNSUPPORTED: t/t_randsequence.v:128:17: Unsupported: randsequence production
  128 |          count_1: { ++counts[1]; };
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:126:7: Unsupported: randsequence
  126 |       randsequence(main)
      |       ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:136:29: Unsupported: randsequence production id
  136 |             main: rand join count_1 count_2;
      |                             ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:136:37: Unsupported: randsequence production id
  136 |             main: rand join count_1 count_2;
      |                                     ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:136:19: Unsupported: randsequence production list
  136 |             main: rand join count_1 count_2;
      |                   ^~~~
%Error-UNSUPPORTED: t/t_randsequence.v:136:17: Unsupported: randsequence production
  136 |             main: rand join count_1 count_2;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:137:20: Unsupported: randsequence production
  137 |             count_1: { ++counts[1]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:138:20: Unsupported: randsequence production
  138 |             count_2: { ++counts[2]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:135:10: Unsupported: randsequence
  135 |          randsequence(main)
      |          ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:148:35: Unsupported: randsequence production id
  148 |             main: rand join (1.0) count_1 count_2;
      |                                   ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:148:43: Unsupported: randsequence production id
  148 |             main: rand join (1.0) count_1 count_2;
      |                                           ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:148:19: Unsupported: randsequence production list
  148 |             main: rand join (1.0) count_1 count_2;
      |                   ^~~~
%Error-UNSUPPORTED: t/t_randsequence.v:148:17: Unsupported: randsequence production
  148 |             main: rand join (1.0) count_1 count_2;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:149:20: Unsupported: randsequence production
  149 |             count_1: { ++counts[1]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:150:20: Unsupported: randsequence production
  150 |             count_2: { ++counts[2]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:147:10: Unsupported: randsequence
  147 |          randsequence(main)
      |          ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:153:35: Unsupported: randsequence production id
  153 |             main: rand join (0.0) count_3 count_4;
      |                                   ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:153:43: Unsupported: randsequence production id
  153 |             main: rand join (0.0) count_3 count_4;
      |                                           ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:153:19: Unsupported: randsequence production list
  153 |             main: rand join (0.0) count_3 count_4;
      |                   ^~~~
%Error-UNSUPPORTED: t/t_randsequence.v:153:17: Unsupported: randsequence production
  153 |             main: rand join (0.0) count_3 count_4;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:154:20: Unsupported: randsequence production
  154 |             count_3: { ++counts[3]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:155:20: Unsupported: randsequence production
  155 |             count_4: { ++counts[4]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:152:10: Unsupported: randsequence
  152 |          randsequence(main)
      |          ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:168:19: Unsupported: randsequence production id
  168 |             main: count_1 check count_2;
      |                   ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:168:27: Unsupported: randsequence production id
  168 |             main: count_1 check count_2;
      |                           ^~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:168:33: Unsupported: randsequence production id
  168 |             main: count_1 check count_2;
      |                                 ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:168:17: Unsupported: randsequence production
  168 |             main: count_1 check count_2;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:169:20: Unsupported: randsequence production id
  169 |             check: count_3 { if (fiftyfifty) break; } count_4;
      |                    ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:169:55: Unsupported: randsequence production id
  169 |             check: count_3 { if (fiftyfifty) break; } count_4;
      |                                                       ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:169:18: Unsupported: randsequence production
  169 |             check: count_3 { if (fiftyfifty) break; } count_4;
      |                  ^
%Error-UNSUPPORTED: t/t_randsequence.v:170:20: Unsupported: randsequence production
  170 |             count_1: { ++counts[1]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:171:20: Unsupported: randsequence production
  171 |             count_2: { ++counts[2]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:172:20: Unsupported: randsequence production
  172 |             count_3: { ++counts[3]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:173:20: Unsupported: randsequence production
  173 |             count_4: { ++counts[4]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:167:10: Unsupported: randsequence
  167 |          randsequence(main)
      |          ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:186:19: Unsupported: randsequence production id
  186 |             main: count_1 check count_2;
      |                   ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:186:27: Unsupported: randsequence production id
  186 |             main: count_1 check count_2;
      |                           ^~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:186:33: Unsupported: randsequence production id
  186 |             main: count_1 check count_2;
      |                                 ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:186:17: Unsupported: randsequence production
  186 |             main: count_1 check count_2;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:187:20: Unsupported: randsequence production id
  187 |             check: count_3 { if (fiftyfifty) return; } count_4;
      |                    ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:187:56: Unsupported: randsequence production id
  187 |             check: count_3 { if (fiftyfifty) return; } count_4;
      |                                                        ^~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:187:18: Unsupported: randsequence production
  187 |             check: count_3 { if (fiftyfifty) return; } count_4;
      |                  ^
%Error-UNSUPPORTED: t/t_randsequence.v:188:20: Unsupported: randsequence production
  188 |             count_1: { ++counts[1]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:189:20: Unsupported: randsequence production
  189 |             count_2: { ++counts[2]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:190:20: Unsupported: randsequence production
  190 |             count_3: { ++counts[3]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:191:20: Unsupported: randsequence production
  191 |             count_4: { ++counts[4]; };
      |                    ^
%Error-UNSUPPORTED: t/t_randsequence.v:185:10: Unsupported: randsequence
  185 |          randsequence(main)
      |          ^~~~~~~~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:203:19: Unsupported: randsequence production id
  203 |             main: f_1 f_2 f_3;
      |                   ^~~
%Error-UNSUPPORTED: t/t_randsequence.v:203:23: Unsupported: randsequence production id
  203 |             main: f_1 f_2 f_3;
      |                       ^~~
%Error-UNSUPPORTED: t/t_randsequence.v:203:27: Unsupported: randsequence production id
  203 |             main: f_1 f_2 f_3;
      |                           ^~~
%Error-UNSUPPORTED: t/t_randsequence.v:203:17: Unsupported: randsequence production
  203 |             main: f_1 f_2 f_3;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:204:19: Unsupported: randsequence production id
  204 |             f_1 : func(10);
      |                   ^~~~
%Error-UNSUPPORTED: t/t_randsequence.v:204:17: Unsupported: randsequence production
  204 |             f_1 : func(10);
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:205:19: Unsupported: randsequence production id
  205 |             f_2 : func(20);
      |                   ^~~~
%Error-UNSUPPORTED: t/t_randsequence.v:205:17: Unsupported: randsequence production
  205 |             f_2 : func(20);
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:206:19: Unsupported: randsequence production id
  206 |             f_3 : fnoarg;
      |                   ^~~~~~
%Error-UNSUPPORTED: t/t_randsequence.v:206:17: Unsupported: randsequence production
  206 |             f_3 : fnoarg;
      |                 ^
%Error-UNSUPPORTED: t/t_randsequence.v:207:30: Unsupported: randsequence production
  207 |             void func(int n) : { counts[1] += n; };
      |                              ^
%Error-UNSUPPORTED: t/t_randsequence.v:208:25: Unsupported: randsequence production
  208 |             void fnoarg : { ++counts[2]; };
      |                         ^
%Error-UNSUPPORTED: t/t_randsequence.v:202:10: Unsupported: randsequence
  202 |          randsequence(main)
      |          ^~~~~~~~~~~~
%Error: Exiting due to