luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-08-30 01:38:21 +02:00
Code Issues Packages Projects Releases Wiki Activity

Skip properties for expression coverage (#6830)

Browse Source
This commit is contained in:
Todd Strader
2025-12-17 13:51:40 -05:00
committed by GitHub
parent bd38775ad2
commit d10e841b56
3 changed files with 136 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Coverage.cpp
+2 -1
View File
@@ -359,7 +359,8 @@ class CoverageVisitor final : public VNVisitor {
VL_RESTORER(m_state);
VL_RESTORER(m_exprStmtsp);
VL_RESTORER(m_inToggleOff);
m_exprStmtsp = nodep;
// skip properties for expresison coverage
if (!VN_IS(nodep, Property)) m_exprStmtsp = nodep;
m_inToggleOff = true;
createHandle(nodep);
iterateChildren(nodep);