Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[dv,vcs] Tidy up the comments where we disable coverage in a prim #24563

Merged
merged 1 commit into from
Oct 3, 2024
Merged

[dv,vcs] Tidy up the comments where we disable coverage in a prim #24563

merged 1 commit into from
Oct 3, 2024

Commits on Sep 12, 2024

  1. [dv,vcs] Tidy up the comments where we disable coverage in a prim 

    No functional change but this took me a while to understand! I think
the "use in reg_top" comment in cover.cfg was copied from
cover_reg_top.cfg (where it made slightly more sense).

Signed-off-by: Rupert Swarbrick <[email protected]>
    @rswarbrick
    rswarbrick committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    b13a5f6 View commit details
    Browse the repository at this point in the history