From 02e6d8bd4ba3639e4b7957230b6552127e29dd1f Mon Sep 17 00:00:00 2001 From: Patrick Creighton Date: Wed, 8 Jul 2026 08:28:16 -0700 Subject: [PATCH] Remove verbose comments Co-authored-by: Wilson Snyder --- src/V3Coverage.cpp | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/V3Coverage.cpp b/src/V3Coverage.cpp index aa379aa35..d34b3c152 100644 --- a/src/V3Coverage.cpp +++ b/src/V3Coverage.cpp @@ -745,13 +745,6 @@ class CoverageVisitor final : public VNVisitor { } } void visit(AstPropSpec* nodep) override { - // A property specification holds a concurrent (temporal) property - // expression, which is not a procedural statement context. Expression - // coverage must not inject statements into it, else the injected - // references end up outside any procedural context (tripping V3Localize) - // or perturb the property so its clock can no longer be resolved. This - // uniformly covers both named 'property' bodies and inline assert/cover - // property expressions, regardless of any enclosing labelled begin. VL_RESTORER(m_exprStmtsp); m_exprStmtsp = nullptr; iterateChildren(nodep);