SVG Visualisation
t
x_c
0
1
now
Reset View
Replay Trace
« Back
Forward »
Run Trace (10 ms delay)
Run Trace (500 ms delay)
Run Trace with Delay (ms):
Variables (3)
Nr
Name
Value
Previous Value
1
now
?
?
2
x
?
?
3
x_c
?
?
Sets (1)
Nr
Name
Value
1
INT
(-1 .. 4)
Operations (2)
Nr
Name
Enabled
1
UP
?
2
DOWN
?
Trace (length=5)
Nr
Event
Target State ID
1
INITIALISATION(now=0.0,x=0,x_c={(0.0↦0.0)})
State 0
2
UP
State 1
3
DOWN
State 2
4
UP
State 3
5
DOWN
State 4
Info
Generated on 18/6/2026 at 14:32 using
ProB
version 1.16.0-nightly
Main specification file: AbrialSaw.mch (modified on 20/5/2026 at 9:43)
Main specification name: AbrialSaw