luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix ci dist test

This commit is contained in:
Yilou Wang 2026-07-04 13:35:36 +02:00
parent e943beaa9e
commit 1fc3771cf3
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test_regress/t/t_assert_seq_event_unsup.out
View File

@ -3,4 +3,8 @@
18 | @(g) a ##1 b; 18 | @(g) a ##1 b;
| ^ | ^
... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest
%Error-UNSUPPORTED: t/t_assert_seq_event_unsup.v:21:12: Unsupported: sequence referenced outside assertion property
: ... note: In instance 't'
21 | sequence s_ref;
| ^~~~~
%Error: Exiting due to %Error: Exiting due to

10
test_regress/t/t_assert_seq_event_unsup.v
View File

@ -17,8 +17,18 @@ module t (
sequence s_nonedge; sequence s_nonedge;
@(g) a ##1 b; @(g) a ##1 b;
endsequence endsequence
sequence s_ref;
@(posedge clk) a;
endsequence
// verilog_format: on // verilog_format: on
// Legal: p is never asserted, so s_ref stays referenced outside any
// assertion property, which is not yet supported.
property p;
s_ref;
endproperty
initial begin initial begin
@s_nonedge; @s_nonedge;
end end