Created attachment 335 [details]
Runnig the query
strategy opt = minE (Process.timer) [<=50]: <> Process.STOP on the attached model results in the message
( Process._id0 )
[ Process.timer=3.18742806482673 Process.c=3.18742806482673 ]
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.