GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
reintegration_counter.vhd40100.0%00NA

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
reinteg_ctr_clr_covOpen collapsed tests.reinteg_ctr_clr_cov1671790covered
reinteg_ctr_expired_covOpen collapsed tests.reinteg_ctr_expired_cov17020400covered
reinteg_ctr_ce_aOpen collapsed tests.reinteg_ctr_ce_a1731790covered
reinteg_ctr_ce_bOpen collapsed tests.reinteg_ctr_ce_b1765418covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus