TranslatingSCCDtoDEVS/tests/3.3) MultipleClassInstancesInitialisation/expected_trace.txt

0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[0]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [10])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [10])
0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[1]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [9])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [9])
0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[2]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [8])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [8])
0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[3]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [7])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [7])
0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[4]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [6])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [6])
0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[5]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [5])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [5])
0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[6]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [4])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [4])
0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[7]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [3])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [3])
0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[8]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [2])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [2])
0.00 (event name: instance_created_succesfully; port: Outport; parameters: ['linkA[9]'])
0.00 (event name: statechart_started_succesfully; port: Outport; parameters: [1])
0.00 (event name: constructor_initialized_succesfully; port: Outport; parameters: [1])