Generate vcd for all cover statements#1493

Open

ShashankVM wants to merge 2 commits intodiffblue:mainfrom

ShashankVM:generate_vcd_for_all_cover

Commits on Dec 16, 2025

Create trace for each cover property

ShashankVM
authored and
Shashank V M
committed
Merge branch 'diffblue:main' into generate_vcd_for_all_cover
ShashankVM
authored