SVG Visualisation
0
0
Goal achieved!
Variables (1/1)
Nr
Name
Value
1
level
?
Trace (length=1)
Nr
Event
Target State ID
1
State 2
Info
Generated on 4/2/2022 at 12:05 using ProB version 1.12.0-nightly
Main specification file: Jars.mch
Main VisB JSON file: ../../../JAVAPROB/visb-visualisation-examples/Jars/Jars.json (modified on 2/2/2022 at 15:13)