In gecode/search/parallel/engine.hh:
Engine::busy(void) {
m_search.acquire();
assert(n_busy > 0);
n_busy++;
m_search.release();
}is the assert correct or should it be >= 0? I am hitting this assertion with gecode compiled with --enable-debug. Cheers, --Denys _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
