Вопрос :
In my TLA+ why does the timer keep going after I clear it?
Ответ :
Clear timer will always clear the timer to zero but the timer will start over and continue to run. If you want to stop the timer before starting it over then stop the timer in one state and clear the timer in the following state.
Идентификатор часто задаваемых вопросов 57431
Просмотреть все ЧЗВ »