From 6c56b86e28b385ce4bcc5fda1911c1005ce99ae1 Mon Sep 17 00:00:00 2001 From: Yilou Wang Date: Wed, 24 Jun 2026 11:11:00 +0200 Subject: [PATCH] Update t_assert_seq_clocking_unsup golden for new unclocked error message --- test_regress/t/t_assert_seq_clocking_unsup.out | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/test_regress/t/t_assert_seq_clocking_unsup.out b/test_regress/t/t_assert_seq_clocking_unsup.out index 5ab9bb741..a694062ac 100644 --- a/test_regress/t/t_assert_seq_clocking_unsup.out +++ b/test_regress/t/t_assert_seq_clocking_unsup.out @@ -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