問題:
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
檢視所有常見問答集 »