Generate VCD file for each cover statement#1296

Closed

ShashankVM wants to merge 7 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 19, 2025

Add prefix of filename argument in VCD trace filename
ShashankVM
committed
Merge branch 'main' of https://github.com/ShashankVM/hw-cbmc into vcd_for_all_cover
ShashankVM
committed

Commits on Oct 28, 2025

Merge branch 'diffblue:main' into main
ShashankVM
authored

Commits on Nov 15, 2025

Merge branch 'diffblue:main' into main
ShashankVM
authored

Commits on Dec 16, 2025

Generate VCD file for each cover statement

Shashank V M
authored and
Shashank V M
committed