View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0002137XdebugCode Coveragepublic2022-11-07 12:392023-08-01 09:46
Reportervideoice Assigned Toderick  
PrioritynormalSeveritymajorReproducibilityalways
Status resolvedResolutionfixed 
Product Version3.1.5 
Summary0002137: Coverage lines must not depend on autoloader order
Description

please see https://github.com/sebastianbergmann/php-code-coverage/issues/889

the solution should be https://github.com/php/php-src/issues/9895#issuecomment-1304887328 and https://github.com/php/php-src/issues/9895#issuecomment-1305474805

Steps To Reproduce

see https://github.com/sebastianbergmann/php-code-coverage/issues/889 and https://github.com/php/php-src/issues/9895 descriptions with code examples

TagsNo tags attached.
Operating System
PHP Version8.1.10-8.1.19

Activities

derick

2022-11-07 12:45

administrator   ~0006438

Please duplicate all relevant info here, as there is too much too dig through there.

derick

2023-08-01 09:46

administrator   ~0006619

I can't reproduce this, and there hasn't been any new information for a while, so I am closing this.

Issue History

Date Modified Username Field Change
2022-11-07 12:39 videoice New Issue
2022-11-07 12:45 derick Assigned To => derick
2022-11-07 12:45 derick Status new => feedback
2022-11-07 12:45 derick Note Added: 0006438
2023-08-01 09:46 derick Status feedback => resolved
2023-08-01 09:46 derick Resolution open => fixed
2023-08-01 09:46 derick Note Added: 0006619