Branch coverage for switch case

Signed-off-by: Tomasz Gorochowik <[email protected]>
antmicro · Dec 31, 2024 · 9472f36 · 9472f36
1 parent 5ca9118
commit 9472f36
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/src/V3Coverage.cpp b/src/V3Coverage.cpp
@@ -515,8 +515,11 @@ class CoverageVisitor final : public VNVisitor {
             createHandle(nodep);
             iterateAndNextNull(nodep->stmtsp());
             if (m_state.lineCoverageOn(nodep)) {  // if the case body didn't disable it
-                lineTrack(nodep);
                 UINFO(4, "   COVER: " << nodep << endl);
+                nodep->addStmtsp(newCoverInc(nodep->fileline(), "", "v_branch", "case",
+                                             linesCov(m_state, nodep), 1,
+                                             traceNameForLine(nodep, "case")));
+                lineTrack(nodep);
                 nodep->addStmtsp(newCoverInc(nodep->fileline(), "", "v_line", "case",
                                              linesCov(m_state, nodep), 0,
                                              traceNameForLine(nodep, "case")));

diff --git a/src/VlcTop.cpp b/src/VlcTop.cpp
@@ -127,7 +127,11 @@ void VlcTop::writeInfo(const string& filename) {
             int point_num = 0;
             for (const auto& point : sc.points()) {
                 os << "BRDA:" << sc.lineno() << ",";
-                os << "0,";
+                if (point->comment() == "case") {
+                    os << "42,";
+                } else {
+                    os << "0,";
+                }
                 os << point_num << ",";
                 os << point->count() << "\n";