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()