Generate VCD file for each cover statement#1296

Open

ShashankVM wants to merge 3 commits intodiffblue:mainfrom

ShashankVM:vcd_for_all_cover

Commits on Oct 3, 2025

Create trace for each cover property
ShashankVM
committed
Merge branch 'main' of https://github.com/ShashankVM/hw-cbmc into vcd_for_all_cover
ShashankVM
committed

Commits on Oct 8, 2025

Merge branch 'diffblue:main' into vcd_for_all_cover
ShashankVM
authored