Question :
In my TLA+ why does the timer keep going after I clear it?
Answer :
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.
FAQ ID 57431
View all FAQs »