diff --git a/src/V3Coverage.cpp b/src/V3Coverage.cpp index 6cc4cdf346..5417d66552 100644 --- a/src/V3Coverage.cpp +++ b/src/V3Coverage.cpp @@ -302,8 +302,9 @@ class CoverageVisitor final : public VNVisitor { void toggleVarBottom(const ToggleEnt& above, const AstVar* varp) { AstCoverToggle* const newp = new AstCoverToggle{ varp->fileline(), - newCoverInc(varp->fileline(), "", "v_toggle", "toggle_" + m_beginHier + "_" + varp->name() + above.m_comment + "=_", "", 0, - ""), + newCoverInc(varp->fileline(), "", "v_toggle", + "toggle_" + m_beginHier + "_" + varp->name() + above.m_comment + "=_", "", + 0, ""), above.m_varRefp->cloneTree(true), above.m_chgRefp->cloneTree(true)}; m_modp->addStmtsp(newp); } diff --git a/src/VlcTop.cpp b/src/VlcTop.cpp index 545cad6c3b..cafb7ec14b 100644 --- a/src/VlcTop.cpp +++ b/src/VlcTop.cpp @@ -131,9 +131,7 @@ void VlcTop::writeInfo(const string& filename) { const string cmt = point->comment().substr(0, point->comment().find("=")); os << cmt; - if (cmt.rfind("toggle_", 0) != 0) { - os << "_" << point_num; - } + if (cmt.rfind("toggle_", 0) != 0) { os << "_" << point_num; } os << ","; os << point->count() << "\n";