Hi, On Mon, Jun 16, 2008 at 6:58 AM, Malcolm Ryan <[EMAIL PROTECTED]> 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/ _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users