View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
0002137XdebugCode Coveragepublic2022-11-07 12:392022-11-15 16:00
Reportervideoice Assigned Toderick  
PrioritynormalSeveritymajorReproducibilityalways
Status feedbackResolutionopen 
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.

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