TranslatingSCCDtoDEVS/tests/10.0) TrafficLightTest/input.txt

0.00 (event name: window_created; port: private_1_field_ui; parameters: [0])
0.00 (event name: canvas_created; port: private_1_field_ui; parameters: [1])
0.00 (event name: rectangle_created; port: private_1_field_ui; parameters: [1, 1])
0.00 (event name: rectangle_created; port: private_1_field_ui; parameters: [1, 2])
0.00 (event name: rectangle_created; port: private_1_field_ui; parameters: [1, 3])
0.00 (event name: button_created; port: private_1_field_ui; parameters: [2])
0.00 (event name: button_created; port: private_1_field_ui; parameters: [3])
1.00 (event name: interrupt_clicked; port: private_1_field_ui; parameters: [58, 24, 1])
1.99 (event name: interrupt_clicked; port: private_1_field_ui; parameters: [58, 24, 1])
3.00 (event name: quit_clicked; port: private_1_field_ui; parameters: [58, 45, 1])