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

Update t_assert_seq_clocking_unsup golden for new unclocked error message

This commit is contained in:
Yilou Wang 2026-06-24 11:11:00 +02:00
parent d57bccb313
commit 6c56b86e28
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
test_regress/t/t_assert_seq_clocking_unsup.out
View File

@ -15,16 +15,17 @@
: ... note: In instance 't'
27 | @clk a
| ^
%Error-UNSUPPORTED: t/t_assert_seq_clocking_unsup.v:32:3: Unsupported: Unclocked assertion
: ... note: In instance 't'
%Error: t/t_assert_seq_clocking_unsup.v:32:3: Concurrent assertion has no clock; provide a clocking event, a default clocking, or a clocked procedural context (IEEE 1800-2023 16.16)
: ... note: In instance 't'
32 | assert property (s_nest ##1 a);
| ^~~~~~
%Error-UNSUPPORTED: t/t_assert_seq_clocking_unsup.v:33:3: Unsupported: Unclocked assertion
: ... note: In instance 't'
... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance.
%Error: t/t_assert_seq_clocking_unsup.v:33:3: Concurrent assertion has no clock; provide a clocking event, a default clocking, or a clocked procedural context (IEEE 1800-2023 16.16)
: ... note: In instance 't'
33 | assert property (s_level);
| ^~~~~~
%Error-UNSUPPORTED: t/t_assert_seq_clocking_unsup.v:34:3: Unsupported: Unclocked assertion
: ... note: In instance 't'
%Error: t/t_assert_seq_clocking_unsup.v:34:3: Concurrent assertion has no clock; provide a clocking event, a default clocking, or a clocked procedural context (IEEE 1800-2023 16.16)
: ... note: In instance 't'
34 | assert property (s_level2);
| ^~~~~~
%Error: Exiting due to