[gecode-users] Critical bug.

[Rafael Meneses]

On 10/24/06, Christian Schulte <cschulte at kth.se> wrote:
> This is not a bug! The invariant is that whatever branching decsription is
> created the position always refers to the same variable: In case some
> variables are removed from the branching, the offset is updated accordingly.
>
> Do you have an example where things go wrong?

I attach an example.

With recomputation there are a "segmentation fault", without
recomputation, all is just fine.

Run the example five minutes, and there are a 100% of probability of
crash, take away recomputation, and the code never crash.

Saludos,


-- 
Rafael Meneses
http://www.zeke.cl
http://www.labsd.inf.utfsm.cl/~rmeneses
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bug.cc
Type: text/x-c++src
Size: 2946 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20061024/eaa53710/attachment.cc>