Skip to content

Conversation

@ShashankVM
Copy link

@ShashankVM ShashankVM commented Dec 16, 2025

Fixes #1287

@ShashankVM ShashankVM force-pushed the generate_vcd_for_all_cover branch from 34480eb to 9c4a0f7 Compare December 16, 2025 15:02
@ShashankVM ShashankVM marked this pull request as ready for review December 16, 2025 15:05
Copy link
Author

@ShashankVM ShashankVM left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed, looks alright to me

@kroening
Copy link
Collaborator

Ok, will merge with the 6.0 release. This will need a nudge to CHANGELOG, and the --help.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Generate VCD for each trace of cover property

2 participants