问题:
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.
常见问题 ID 57431
查看所有常见问题 »