| 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 | 231 | covered |
| err_ctr_inc_eight_b | Open collapsed tests | .err_ctr_inc_eight_b | 218 | 300 | covered |
| err_ctr_inc_eight_c | Open collapsed tests | .err_ctr_inc_eight_c | 222 | 3318 | 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 | 6106 | covered |
| err_ctr_dec_one_b | Open collapsed tests | .err_ctr_dec_one_b | 236 | 6129 | covered |
| PSL Point Name | Test name | Full Path Name | Line | Count | Status |
|---|