[gecode-users] Gecode 3.0.0: What we will do. What do you want?

[Guido Tack]

Mauricio Toro wrote:
> I am always having problems with bus error, and there is not an easy
> way to debug those errors. Would it be possible to do something  
> about it?

With a debug build (configure --enable-debug) and a debugger like gdb,  
it's usually quite easy to find the reasons for bus errors and the  
like.  If that's not enough, you should try valgrind, it does an  
excellent job verifying that you use the memory correctly.

Guido