GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
retransmitt_counter.vhd00NA10100.0%

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus
retr_ctr_simul_set_and_clear_asrtOpen collapsed tests.retr_ctr_simul_set_and_clear_asrt1840passed