segmentation fault issue

using dissect on our jenkins c.i. server triggers a segmentation fault error that breaks 1 build out of 3. despite a hack using "echo" we are still not able to fix this issue.

[ztec]

Not a good sign. I'll need to make the merge myself using XML instead of Phpunit cov files !

The segFault come from phpunit_coverage :-(

"The segFault come from phpunit_coverage :-(" we took the time to look into with rpop but no can do... we'll look into when u get back

[ztec]

The new release v0.0.3 should halp you to fix this issue
The fix is for short term only as the solution I made was to be able to disable the garbage collector of php on a particular command : coverage:merge

Disabling the garbage collector mean many many many more RAM required to merge big Coverage reports.

to do so :

   php dissect.phar coverage:merge [...] --php-ini="zend.enable_gc=0&memory_limit=999M"

This is not a good solution but for now, I have nothing more :-( Bergman code is a mess and debugging is almost impossible.