GHDL PSL Functional coverage report
FilenameCoveredNot-CoveredFunctional coveragePassedFailedAssertions passed
data_edge_detector.vhd20100.0%00NA

Cover Points
PSL Point NameTest nameFull Path NameLineCountStatus
sync_edge_covOpen collapsed tests.sync_edge_cov224445887covered
sync_edge_but_prev_sample_the_same_covOpen collapsed tests.sync_edge_but_prev_sample_the_same_cov227738covered

Assertions
PSL Point NameTest nameFull Path NameLineCountStatus