1.
Nr Event Target State ID
1start_xtl_systemState 0
2set_button(off)State 1
3set_button(on)State 0
4toggle_buttonState 1
5press_buttonState 0
6toggle_buttonState 1
7press_buttonState 0
8toggle_buttonState 1
9toggle_buttonState 0
Generated on 16/6/2022 at 9:36 using ProB version 1.12.0-nightly
Main specification file: button.P (modified on 16/6/2022 at 9:25)
Main VisB JSON file: button.json (modified on 16/6/2022 at 9:31)