Skip to content
Snippets Groups Projects
Commit a5bde1c7 authored by Felipe Lisboa Malaquias's avatar Felipe Lisboa Malaquias
Browse files

Added specification for handling count-down timers

parent 6883946d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
TLAplus/StandardModules/RealTimeTools.tla 0 → 100644
+ 7
− 0
View file @ a5bde1c7
--------------------------- MODULE RealTimeTools ---------------------------
TimedOut(timer) == timer = 0
SetLBTimer(timer,value) == timer' = value
=============================================================================
\* Modification History
\* Last modified Wed Mar 10 16:42:53 CET 2021 by felipe
\* Created Wed Mar 10 16:20:24 CET 2021 by felipe
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment