| GHDL PSL Functional coverage report |
|---|
| Filename | Covered | Not-Covered | Functional coverage | Passed | Failed | Assertions passed | fault_confinement_rules.vhd | 6 | 0 | 100.0% | 0 | 0 | NA |
|---|
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|---|---|---|---|---|
| err_ctr_inc_eight_a | Open collapsed tests | .err_ctr_inc_eight_a | 215 | 197 | covered |
| err_ctr_inc_eight_b | Open collapsed tests | .err_ctr_inc_eight_b | 218 | 265 | covered |
| err_ctr_inc_eight_c | Open collapsed tests | .err_ctr_inc_eight_c | 222 | 2320 | covered |
| err_ctr_inc_eight_d | Open collapsed tests | .err_ctr_inc_eight_d | 227 | 54 | covered |
| err_ctr_dec_one_a | Open collapsed tests | .err_ctr_dec_one_a | 233 | 4307 | covered |
| err_ctr_dec_one_b | Open collapsed tests | .err_ctr_dec_one_b | 236 | 4324 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|