[gecode-users] Gecode/J: Assertion failure

[Mikael Zayenz Lagerkvist]

Hi,

On Mon, Jun 16, 2008 at 6:58 AM, Malcolm Ryan <malcolmr at cse.unsw.edu.au> wrote:
> I just got the following crash in my Gecode/J program:
>
> java: /home/malcolmr/include/gecode/int/extensional/tuple-set.icc:88:
> bool Gecode::TupleSet::TupleSetI::finalized() const: Assertion `(excess
>  == -1 && domsize >= 0) || (excess != -1 && domsize == -1)' failed.

This is bad, the TupleSet assertion shouldn't trigger in a normal program.

Do you know what the last method called in your program is before the
failure? With that information, I might be able to find out what the
problem is.

Kind regards,
Mikael Lagerkvist

-- 
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/