View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0001577 | Xdebug | Code Coverage | public | 2018-09-20 07:40 | 2019-03-06 01:16 |
| Reporter | derick | Assigned To | |||
| Priority | normal | Severity | minor | Reproducibility | always |
| Status | closed | Resolution | fixed | ||
| Product Version | 2.7.0beta1 | ||||
| Target Version | 2.7.0 | Fixed in Version | 2.7.0 | ||
| Summary | 0001577: Code coverage with CATCH does wrong for PHP 7.3 | ||||
| Description | The mechanism is different in PHP 7.3, and this hasn't been addressed. There are tests (tests/bug01034-*phpt) that fail with an XFAIL due to this right now. | ||||
| Tags | No tags attached. | ||||
| Operating System | |||||
| PHP Version | 7.3-dev | ||||
