problems with the Garbage Collector

[Victor]

Hi,

I'm having trouble with the Garbage Collector function "void
ClaireAllocation::gc(char *cause)", located in the file clAlloc.cpp. I
use the choco module and when applying the solver over a problem
everything runs fine until the function is called. After it is called
the variables and constraints of the problem have their values altered
to something rare, having a segmentation fault right after it. What
seems to be the reason for that? What can be done?

Thanks, Victor

[sylvain]

Hi Victor,

I'm sorry for your last message left without a response, I remember
having investigated a little without finding any clue... I still have
no idea on what can happen.
The best I could do would be to reproduce your crash, but for that I
need your sources and data files. Maybe you can send me personally an
archive with the files?

Regards,
Sylvain