Aligned with C++14 and fixed a couple non-ascii characters
Signed-off-by: Matthew Ballance <matt.ballance@gmail.com>
This commit is contained in:
parent
777e6b0c29
commit
ad89a6c8f4
|
|
@ -753,7 +753,7 @@ public:
|
|||
|
||||
// Release the owned AstSenTree nodes that were unlinked from AstCovergroup during
|
||||
// the first pass; they are no longer needed after all clones have been made.
|
||||
for (auto& [classp, evtp] : m_covergroupEvents) VL_DO_DANGLING(evtp->deleteTree(), evtp);
|
||||
for (const auto& itpair : m_covergroupEvents) itpair.second->deleteTree();
|
||||
|
||||
UINFO(4, "CovergroupSamplingVisitor: Complete" << endl);
|
||||
}
|
||||
|
|
|
|||
|
|
@ -859,7 +859,7 @@ class FunctionalCoverageVisitor final : public VNVisitor {
|
|||
|
||||
// Build condition for a single transition item.
|
||||
// Returns expression that checks if exprp matches the item's value/range list.
|
||||
// Overload for when the expression is a variable read — creates and manages the VarRef
|
||||
// Overload for when the expression is a variable read -- creates and manages the VarRef
|
||||
// internally, so callers don't need to construct a temporary node.
|
||||
AstNodeExpr* buildTransitionItemCondition(AstCoverTransItem* itemp, AstVar* varp) {
|
||||
AstNodeExpr* varRefp = new AstVarRef{varp->fileline(), varp, VAccess::READ};
|
||||
|
|
|
|||
|
|
@ -7,8 +7,8 @@
|
|||
|
||||
// Test iff (enable) guard: sampling is gated by the enable condition.
|
||||
// Samples taken while enable=0 must not increment bins.
|
||||
// Bins 'disabled_*' are sampled only with enable=0 — they must NOT appear in
|
||||
// coverage.dat. Bins 'enabled_*' are sampled only with enable=1 — they must
|
||||
// Bins 'disabled_*' are sampled only with enable=0 -- they must NOT appear in
|
||||
// coverage.dat. Bins 'enabled_*' are sampled only with enable=1 -- they must
|
||||
// appear. This makes pass/fail unambiguous from the coverage report alone.
|
||||
|
||||
module t;
|
||||
|
|
@ -27,12 +27,12 @@ module t;
|
|||
cg_iff cg = new;
|
||||
|
||||
initial begin
|
||||
// Sample disabled_lo and disabled_hi with enable=0 — must not be recorded
|
||||
// Sample disabled_lo and disabled_hi with enable=0 -- must not be recorded
|
||||
enable = 0;
|
||||
value = 1; cg.sample();
|
||||
value = 2; cg.sample();
|
||||
|
||||
// Sample enabled_lo and enabled_hi with enable=1 — must be recorded
|
||||
// Sample enabled_lo and enabled_hi with enable=1 -- must be recorded
|
||||
enable = 1;
|
||||
value = 3; cg.sample();
|
||||
value = 4; cg.sample();
|
||||
|
|
|
|||
Loading…
Reference in New Issue