Created attachment 335 [details] Model Runnig the query strategy opt = minE (Process.timer) [<=50]: <> Process.STOP on the attached model results in the message " State ( Process._id0 ) [ Process.timer=3.18742806482673 Process.c=3.18742806482673 ] Process.loc=0 is time-locked." There shouldn't be a time-lock in the model in that particular state. There is no time-invariant on the location.
This seems to be fixed on the working branch, so the fix is going to be released soon with stratego-6
The issue does not occur on this model using stratego-7, so I am closing.