luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Improve coverage 

Signed-off-by: Bartłomiej Chmiel <bchmiel@antmicro.com>
This commit is contained in:
Bartłomiej Chmiel 2025-11-06 12:38:47 +01:00
parent 4815ef662c
commit 82fbb446ed
No known key found for this signature in database
GPG Key ID: AF7A8DBF070764A4
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/V3AssertProp.cpp
View File

@ -221,10 +221,7 @@ class AssertPropTransformer final {
UASSERT_OBJ(vtxp->outEdges().size() == 2, nodep, "Each expression must have two branches"); UASSERT_OBJ(vtxp->outEdges().size() == 2, nodep, "Each expression must have two branches");
AstBegin* const passsp = new AstBegin{ AstBegin* const passsp = new AstBegin{
nodep->fileline(), m_assertCycleDelayNames.get(nodep) + "__block_pass", nullptr, true}; nodep->fileline(), m_assertCycleDelayNames.get(nodep) + "__block_pass", nullptr, true};
AstNode* const failsp = [vtxp]() { AstNode* const failsp = vtxp->outEdges().backp()->top()->as<DfaStmtVertex>()->nodep();
V3GraphVertex* const failVtxp = vtxp->outEdges().backp()->top();
return failVtxp->as<DfaStmtVertex>()->nodep();
}();
AstSampled* const sampledp AstSampled* const sampledp
= new AstSampled{nodep->fileline(), VN_AS(vtxp->nodep(), NodeExpr)}; = new AstSampled{nodep->fileline(), VN_AS(vtxp->nodep(), NodeExpr)};