| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | err_counters.vhd | 4 | 0 | 100.0% | 2 | 0 | 100.0% |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| err_ctrs_inc_one_cov | Open collapsed tests | .err_ctrs_inc_one_cov | 426 | 4915 | covered |
| err_ctrs_inc_eight_cov | Open collapsed tests | .err_ctrs_inc_eight_cov | 429 | 3903 | covered |
| err_ctrs_dec_one_cov | Open collapsed tests | .err_ctrs_dec_one_cov | 432 | 12235 | covered |
| err_ctrs_rec_saturation | Open collapsed tests | .err_ctrs_rec_saturation | 435 | 3 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| no_simul_inc_dec_asrt | Open collapsed tests | .no_simul_inc_dec_asrt | 416 | 0 | passed |
| no_simul_transm_rec_asrt | Open collapsed tests | .no_simul_transm_rec_asrt | 422 | 0 | passed |