Skip to content

Commit

Permalink
Fix variable names
Browse files Browse the repository at this point in the history
Signed-off-by: Tomasz Gorochowik <[email protected]>
  • Loading branch information
tgorochowik committed Dec 27, 2024
1 parent a405137 commit 8d008c7
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions src/V3Coverage.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -410,9 +410,10 @@ class CoverageVisitor final : public VNVisitor {
return;
}

auto fake_if = new AstIf(nodep->fileline(), nodep->condp()->cloneTree(true));
auto fakeIf = new AstIf(nodep->fileline(), nodep->condp()->cloneTree(true));
FileLine* newFl = new FileLine{nodep->fileline()};
auto always = new AstAlways{newFl, VAlwaysKwd::ALWAYS, nullptr, fake_if};
auto always = new AstAlways{newFl, VAlwaysKwd::ALWAYS, nullptr, fakeIf};

// Disable coverage for this fake always block
newFl->coverageOn(false);
m_modp->addStmtsp(always);
Expand Down

0 comments on commit 8d008c7

Please sign in to comment.