[gecode-users] Gecode/J: Assertion failure

Malcolm Ryan malcolmr at cse.unsw.edu.au
Mon Jun 16 06:58:48 CEST 2008

Previous message: [gecode-users] Reified Domain and relation propagators for Sets are too slow
Next message: [gecode-users] Gecode/J: Assertion failure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

I'll look into it and see if I can reproduce it reliably.

Malcolm

Previous message: [gecode-users] Reified Domain and relation propagators for Sets are too slow
Next message: [gecode-users] Gecode/J: Assertion failure
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the gecode-users mailing list