From b0d5c85c06b0e8b989d9d94476b7d70c3d7d202f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bart=C5=82omiej=20Chmiel?= Date: Thu, 6 Nov 2025 10:48:19 +0100 Subject: [PATCH] Dump graph test MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Bartłomiej Chmiel --- src/V3AssertProp.cpp | 2 -- test_regress/t/t_property_sexpr_multi.py | 2 +- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/src/V3AssertProp.cpp b/src/V3AssertProp.cpp index 57893a8f2..6317c8f90 100644 --- a/src/V3AssertProp.cpp +++ b/src/V3AssertProp.cpp @@ -48,7 +48,6 @@ public: explicit DfaVertex(V3Graph* graphp, AstNode* nodep) VL_MT_DISABLED : V3GraphVertex{graphp}, m_nodep{nodep} {} AstNode* nodep() const { return m_nodep; } - // LCOV_EXCL_START // Debug code string name() const override VL_MT_STABLE { return cvtToHex(m_nodep) + "\\n " + cvtToStr(m_nodep->typeName()) + "\\n"s + m_nodep->fileline()->ascii(); @@ -58,7 +57,6 @@ public: if (outEmpty()) return "doubleoctagon"; return "oval"; } - // LCOV_EXCL_STOP bool isStart() const { return inEmpty(); } }; diff --git a/test_regress/t/t_property_sexpr_multi.py b/test_regress/t/t_property_sexpr_multi.py index f11f1f48c..722b56945 100755 --- a/test_regress/t/t_property_sexpr_multi.py +++ b/test_regress/t/t_property_sexpr_multi.py @@ -11,7 +11,7 @@ import vltest_bootstrap test.scenarios('simulator') -test.compile(timing_loop=True, verilator_flags2=['--assert', '--timing']) +test.compile(timing_loop=True, verilator_flags2=['--assert', '--timing', '--dumpi-V3AssertProp 6']) test.execute()