[gecode-users] strange bug in propagation

[Lars Otten]

Hi,

On 04/16/06 14:45, Grégoire Dooms wrote:
> Here is a (small) check list for mistakes I did and which triggered
> segfaults later :
> [...]

What helped for me when I had a similar problem (segfault with gdb pointing
to parts of 'normal' Gecode) was checking the problem with valgrind instead [1].

I turned out that the gdb analysis was misleading, instead I had forgotten
to reset a counter variable in my own extension's code.

Best easter regards,
/Lars


[1] http://www.valgrind.org/