Hi, While I'm not sure about the exact reason for your failure (especially without seeing your code), it could be that you call the wrong Branching-constructor in your copy constructor. See the example custom branchings in examples/black-hole.cc and examples/queen-armies.cc for guidance.
Cheers, Mikael On Wed, Jan 21, 2009 at 7:21 AM, Malcolm Ryan <[email protected]> wrote: > I've written a custom branching and I am trying to write some unit > tests to make sure it is working properly. As such, I am doing the > branching and propagation process step-by-step, but there is something > wrong with my code. I have: > > ConcretePlanSpace *space = new ConcretePlanSpace(graph, 1, 10); > ConcretePlanBranching *branching = new (space) > ConcretePlanBranching(space); > > assert(space->status() == SS_BRANCH); > > const BranchingDesc* desc = space->description(); > space->commit(desc, 0); > > assert(space->status() == SS_BRANCH); > > That much of the code works fine, but I want to create a clone of the > space to test out different alternatives: > > Space* copy = space->clone(false); > desc = copy->description(); > copy->commit(desc, 0); > > When it gets to commit() the code fails. GDB shows: > > Program received signal EXC_BAD_ACCESS, Could not access memory. > Reason: KERN_PROTECTION_FAILURE at address: 0x0000000b > 0x001d1e0b in Gecode::Space::commit (this=0xf17460, d=0x7, a=0) at > gecode/kernel/core.cc:330 > 330 while ((b_commit != Branching::cast(&a_actors)) && > > Any ideas what I am doing wrong? > > Thanks, > > Malcolm > > _______________________________________________ > Gecode users mailing list > [email protected] > https://www.gecode.org/mailman/listinfo/gecode-users > -- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
