From 82fbb446ede57f37e5b735a2fecc9afeff543a3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bart=C5=82omiej=20Chmiel?= <bchmiel@antmicro.com>
Date: Thu, 6 Nov 2025 12:38:47 +0100
Subject: [PATCH] Improve coverage
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>
---
 src/V3AssertProp.cpp | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/V3AssertProp.cpp b/src/V3AssertProp.cpp
index 753211066..184a78cfd 100644
--- a/src/V3AssertProp.cpp
+++ b/src/V3AssertProp.cpp
@@ -221,10 +221,7 @@ class AssertPropTransformer final {
         UASSERT_OBJ(vtxp->outEdges().size() == 2, nodep, "Each expression must have two branches");
         AstBegin* const passsp = new AstBegin{
             nodep->fileline(), m_assertCycleDelayNames.get(nodep) + "__block_pass", nullptr, true};
-        AstNode* const failsp = [vtxp]() {
-            V3GraphVertex* const failVtxp = vtxp->outEdges().backp()->top();
-            return failVtxp->as<DfaStmtVertex>()->nodep();
-        }();
+        AstNode* const failsp = vtxp->outEdges().backp()->top()->as<DfaStmtVertex>()->nodep();
 
         AstSampled* const sampledp
             = new AstSampled{nodep->fileline(), VN_AS(vtxp->nodep(), NodeExpr)};