[Gecode] bug: equal and the empty set

[Grégoire Dooms]

Hi,
Here is an example code for a bug I ran into : void equals(Space *, 
SetVar x, SetVar y)
segfaults  when y is instanciated to the empty set.

I also attach a patch against set/reified/propagators.cc 1.25
(this is a CVS version Christian sent me a few weeks ago - I have no CVS 
access).

All the best,
--
Grégoire Dooms


-------------- next part --------------
A non-text attachment was scrubbed...
Name: bug.cc
Type: text/x-c++src
Size: 959 bytes
Desc: not available
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20050523/3ea35cc7/attachment.cc>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_equal.diff
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20050523/3ea35cc7/attachment.asc>