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.

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

Adding formal rule for coverage holes on controller #997

Merged
merged 2 commits into from
Jun 6, 2024

Conversation

YoannPruvost
Copy link
Contributor

This PR is a follow up on my previous work on code coverage holes
This one covers the controller

@davideschiavone davideschiavone merged commit f814f55 into openhwgroup:dev Jun 6, 2024
3 checks passed
@pascalgouedo pascalgouedo added Component:Verif For issues in the verification environment or test cases (e.g. for testbench, C code, etc.) Component:Tool-and-build For issues in the tool and build flow (e.g. Makefile, FuseSoc, etc.) labels Jun 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component:Tool-and-build For issues in the tool and build flow (e.g. Makefile, FuseSoc, etc.) Component:Verif For issues in the verification environment or test cases (e.g. for testbench, C code, etc.)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants