From 8d39a5bbbe8aa96a437648d8f1c6180047f80f9f Mon Sep 17 00:00:00 2001 From: Patrick Creighton Date: Wed, 8 Jul 2026 08:28:01 -0700 Subject: [PATCH] Remove verbose comments Co-authored-by: Wilson Snyder --- test_regress/t/t_assert_inline_coverage.v | 6 ------ 1 file changed, 6 deletions(-) diff --git a/test_regress/t/t_assert_inline_coverage.v b/test_regress/t/t_assert_inline_coverage.v index 7d727510f..08c1beece 100644 --- a/test_regress/t/t_assert_inline_coverage.v +++ b/test_regress/t/t_assert_inline_coverage.v @@ -28,14 +28,8 @@ module t ( end end - // Labelled INLINE concurrent assertion (not wrapped in a named - // property ... endproperty). With --coverage this previously hit an - // internal error (V3Localize.cpp: 'AstVarRef not under function'). a : assert property (@(posedge clk) !rst_n |=> q == 1'b0); - // Labelled INLINE concurrent cover with disable-iff and a sampled-value - // function. With --coverage this previously emitted a false - // 'Concurrent assertion has no clock' error. c : cover property (@(posedge clk) disable iff (!rst_n) en && cnt == $past(cnt)); always @(posedge clk) begin