Revert the case changes for now

Signed-off-by: Tomasz Gorochowik <[email protected]>
antmicro · Dec 31, 2024 · 9af37fd · 9af37fd
1 parent d48366a
commit 9af37fd
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/V3Coverage.cpp b/src/V3Coverage.cpp
@@ -525,11 +525,8 @@ class CoverageVisitor final : public VNVisitor {
             createHandle(nodep);
             iterateAndNextNull(nodep->stmtsp());
             if (m_state.lineCoverageOn(nodep)) {  // if the case body didn't disable it
-                UINFO(4, "   COVER: " << nodep << endl);
-                nodep->addStmtsp(newCoverInc(nodep->fileline(), "", "v_branch", comment,
-                                             linesCov(m_state, nodep), 1,
-                                             traceNameForLine(nodep, "case")));
                 lineTrack(nodep);
+                UINFO(4, "   COVER: " << nodep << endl);
                 nodep->addStmtsp(newCoverInc(nodep->fileline(), "", "v_line", comment,
                                              linesCov(m_state, nodep), 0,
                                              traceNameForLine(nodep, "case")));