Race condition in Search.ozf

[Luis Quesada]

Harmon Nine wrote:
> 
> If Thread 1 is anywhere else in the loop besides statement (1) when the 
> ‘stop’ method is called in Thread 2, the desired behavior is that when 
> the loop comes around and executes statement (1), the ‘next’ method will 
> return immediately, binding value “stopped” for NextSolution.
> 
I don't think this is a bug. Taking into account the documentation, the 
current behavior is the one that you should expect :

======
stop

             stop

     stops the search engine. The search engine can be restarted by 
next, nextS, nextP, last, lastS, and lastP.
======


I agree with Yves: the idea is to adapt your code so that it is 
consistent with the specification.

Cheers,

Luis