[gecode-users] buggy parallel search

[Denys Duchier]

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