Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Actions2.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo", uses=false) Using package Modelica_StateGraph2 with version 2.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(Modelica_StateGraph2.Examples.BasicStateGraphs.Actions2,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Actions2") translateModel(Modelica_StateGraph2.Examples.BasicStateGraphs.Actions2,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Actions2") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001149/0.001149, allocations: 106.6 kB / 16.42 MB, free: 6.453 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001135/0.001135, allocations: 190 kB / 17.36 MB, free: 5.707 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.203/1.203, allocations: 222.9 MB / 241 MB, free: 15.14 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.07304/0.07304, allocations: 13.55 MB / 304.8 MB, free: 1.168 MB / 238.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 1.407e-05/1.408e-05, allocations: 2.281 kB / 422.2 MB, free: 14.41 MB / 302.1 MB Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.BasicStateGraphs.Actions2): time 0.002104/0.002126, allocations: 2.265 MB / 424.5 MB, free: 12.13 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.001253/0.00339, allocations: 1.125 MB / 425.6 MB, free: 11 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.000122/0.003523, allocations: 19.88 kB / 425.6 MB, free: 10.98 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.001163/0.004692, allocations: 0.9945 MB / 426.6 MB, free: 9.98 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 9.618e-05/0.004806, allocations: 55.34 kB / 426.7 MB, free: 9.926 MB / 302.1 MB [/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo:12183:5-12189:3:writable] Warning: Usage of non-standard operator (not specified in the Modelica specification): Connections.uniqueRoot. Functionality might be partially supported but is not guaranteed. Notification: Performance of NFTyping.typeClassSections: time 0.0006959/0.005508, allocations: 406.2 kB / 427.1 MB, free: 9.531 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.0004495/0.005966, allocations: 0.799 MB / 427.9 MB, free: 8.73 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0006966/0.00667, allocations: 0.9152 MB / 428.8 MB, free: 7.812 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.0002164/0.006895, allocations: 370.8 kB / 429.1 MB, free: 7.449 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.000208/0.007109, allocations: 354.4 kB / 429.5 MB, free: 7.102 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 7.294e-05/0.007188, allocations: 76 kB / 429.6 MB, free: 7.027 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0001155/0.007308, allocations: 103.9 kB / 429.7 MB, free: 6.926 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.0003453/0.00766, allocations: 1.085 MB / 430.7 MB, free: 5.828 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0001643/0.00783, allocations: 0.7156 MB / 431.5 MB, free: 5.102 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 6.567e-05/0.0079, allocations: 95.62 kB / 431.6 MB, free: 5.008 MB / 302.1 MB Notification: Performance of FrontEnd: time 6.467e-05/0.00797, allocations: 99.48 kB / 431.7 MB, free: 4.91 MB / 302.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 191 (175) * Number of variables: 174 (172) Notification: Performance of Bindings: time 0.001939/0.009914, allocations: 3.08 MB / 434.7 MB, free: 1.691 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.0002896/0.01021, allocations: 402 kB / 435.1 MB, free: 1.289 MB / 302.1 MB Notification: Performance of Early Inline: time 0.00131/0.01153, allocations: 1.815 MB / 436.9 MB, free: 15.43 MB / 318.1 MB Notification: Performance of simplify1: time 0.0001456/0.01168, allocations: 139.8 kB / 437.1 MB, free: 15.3 MB / 318.1 MB Notification: Performance of Alias: time 0.002296/0.01398, allocations: 2.276 MB / 439.4 MB, free: 12.73 MB / 318.1 MB Notification: Performance of simplify2: time 9.344e-05/0.01409, allocations: 107.9 kB / 439.5 MB, free: 12.63 MB / 318.1 MB Notification: Performance of Events: time 0.0005465/0.01464, allocations: 0.4887 MB / 439.9 MB, free: 12.12 MB / 318.1 MB Notification: Performance of Detect States: time 0.000863/0.01551, allocations: 0.9498 MB / 440.9 MB, free: 11.14 MB / 318.1 MB Notification: Performance of Partitioning: time 0.001094/0.01662, allocations: 1.126 MB / 442 MB, free: 9.883 MB / 318.1 MB Error: Internal error NBSlice.fillDependencyArray failed because number of flattened indices 1 for dependency step2.outPort.node.resume could not be divided by the body size 2 without rest. Error: Internal error NBAdjacency.Matrix.createPseudo failed for: [FOR-] (2) ($RES_SIM_130) [----] for $i1 in 1:1 loop [----] [RECD] (2) step2.outPort[$i1].node = step2.connectorNode.node ($RES_SIM_131) [----] end for; Error: Internal error NBAdjacency.Matrix.create failed to create adjacency matrix for system: System Variables (149/151) **************************** (1) [DISC] (1) Boolean step4.active (2) [DISC] (1) Boolean T4.outPort.node.resume (3) [DISC] (2) Boolean[2] set1.expr = {true, false} (4) [DISC] (1) Boolean T5.inPort.available (5) [DISC] (1) Boolean[1] step3.outPort.node.resume (6) [DISC] (1) Boolean $SEV_20 (7) [DISC] (1) Boolean $TEV_9 (8) [DISC] (1) Boolean T4.inPort.available (9) [DISC] (1) Boolean $TEV_8 (10) [DISC] (1) Boolean[1] step1.inPort.node.resume (11) [DISC] (1) Boolean $TEV_7 (12) [DISC] (1) Boolean $TEV_6 (13) [DISC] (1) Boolean $TEV_5 (14) [DISS] (1) protected Real T5.t_start (15) [DISC] (1) Boolean T4.inPort.node.suspend (16) [DISC] (1) Boolean $TEV_4 (17) [DISC] (1) Boolean T1.inPort.node.resume (18) [DISC] (1) Boolean $TEV_3 (19) [DISC] (1) Boolean T4.inPort.node.resume (20) [DISC] (1) Boolean $TEV_2 (21) [DISC] (1) Boolean[1] step2.inPort.node.suspend (22) [DISC] (1) Boolean $TEV_1 (23) [DISC] (1) Boolean $TEV_0 (24) [DISC] (1) Boolean T5.outPort.node.resume (25) [DISC] (1) Boolean[1] step3.inPort.node.resume (26) [DISC] (1) protected Boolean initialStep.connectorNode.node.suspend (27) [DISC] (1) protected Boolean initialStep.connectorNode.node.resume (28) [DISC] (1) Boolean $SEV_19 (29) [DISC] (1) Boolean $SEV_18 (30) [DISC] (1) Boolean T5.enableFire (31) [DISC] (1) Boolean $SEV_16 (32) [DISC] (1) Boolean T5.outPort.fire (33) [DISC] (1) Boolean T3.outPort.fire (34) [DISC] (1) Boolean T1.outPort.fire (35) [DISC] (1) Boolean $SEV_15 (36) [DISC] (1) Boolean T4.outPort.fire (37) [DISC] (1) Boolean T2.outPort.fire (38) [DISC] (1) Boolean $SEV_14 (39) [DISC] (1) Boolean $SEV_12 (40) [DISC] (1) Boolean $SEV_11 (41) [DISC] (1) Boolean $SEV_10 (42) [DISC] (1) Boolean step2.active (43) [DISC] (1) Boolean[1] initialStep.inPort.fire (44) [DISC] (1) protected Boolean initialStep.outport_fire (45) [DISC] (1) Boolean T2.enableFire (46) [DISC] (1) protected Boolean step3.inport_fire (47) [DISC] (1) Boolean[1] step4.inPort.fire (48) [DISC] (1) Boolean[1] step2.inPort.fire (49) [DISC] (1) Boolean[1] initialStep.outPort.node.suspend (50) [DISC] (1) Boolean[1] step1.outPort.node.resume (51) [DISC] (1) Boolean step1.activePort = step1.activePort (52) [DISC] (1) protected Boolean step1.connectorNode.node.suspend (53) [DISC] (1) Boolean[1] step3.outPort.node.suspend (54) [DISC] (1) protected Integer set1.firstActiveIndex (55) [DISC] (1) Boolean[1] step1.inPort.node.suspend (56) [DISC] (1) protected Boolean step2.connectorNode.node.suspend (57) [DISC] (1) Boolean[1] step1.outPort.available (58) [DISC] (1) Boolean T5.inPort.node.suspend (59) [DISC] (1) Boolean initialStep.active (60) [DISC] (1) Boolean $TEV_16 (61) [DISC] (1) Boolean $TEV_15 (62) [DISC] (1) Boolean $TEV_14 (63) [DISC] (1) Boolean $TEV_13 (64) [DISC] (1) Boolean[1] step2.outPort.node.resume (65) [DISC] (1) Boolean $TEV_12 (66) [DISC] (1) Boolean $TEV_11 (67) [DISC] (1) Boolean $TEV_10 (68) [DISC] (1) Boolean T5.outPort.node.suspend (69) [DISC] (1) Boolean[1] step1.outPort.node.suspend (70) [DISC] (1) Boolean[1] initialStep.inPort.node.suspend (71) [DISC] (1) Boolean T1.inPort.available (72) [DISC] (1) protected Boolean initialStep.newActive (fixed = true, start = true) (73) [DISC] (1) Boolean T2.inPort.available (74) [DISC] (1) Boolean[1] initialStep.outPort.fire (75) [DISC] (1) protected Boolean step4.inport_fire (76) [DISC] (1) Boolean[1] initialStep.outPort.node.resume (77) [DISC] (1) Boolean[1] step2.outPort.node.suspend (78) [DISC] (1) protected Boolean step2.connectorNode.node.resume (79) [DISC] (1) protected Boolean step2.inport_fire (80) [DISS] (1) protected Boolean initialStep.oldActive (fixed = true, start = true) (81) [DISC] (1) Boolean T3.enableFire (82) [DISC] (1) Boolean $SEV_8 (83) [DISC] (1) Boolean $SEV_7 (84) [DISS] (1) protected Real T1.t_start (85) [DISC] (1) Boolean $SEV_6 (86) [DISC] (1) Boolean[1] step1.inPort.fire (87) [DISC] (1) Boolean $SEV_4 (88) [DISC] (1) Boolean $SEV_2 (89) [DISC] (1) Boolean $SEV_1 (90) [DISC] (1) Boolean $SEV_0 (91) [DISC] (1) Boolean T3.inPort.available (92) [DISC] (1) Boolean T3.outPort.node.resume (93) [DISC] (1) Boolean[1] step4.inPort.node.suspend (94) [DISC] (1) Boolean step3.active (95) [DISC] (1) Boolean T2.inPort.node.suspend (96) [DISC] (1) protected Boolean step4.newActive (fixed = true, start = false) (97) [DISC] (1) Boolean fallingEdge.y (98) [DISC] (1) Boolean[1] step4.outPort.available (99) [DISC] (1) protected Boolean step4.connectorNode.node.suspend (100) [DISC] (1) Boolean[1] step3.outPort.available (101) [DISC] (1) Boolean T2.outPort.node.resume (102) [DISC] (1) Boolean[1] step2.inPort.node.resume (103) [DISS] (1) protected Real T2.t_start (104) [DISC] (1) Boolean T1.outPort.node.suspend (105) [DISC] (1) Boolean risingEdge.y (106) [DISC] (1) protected Boolean step3.newActive (fixed = true, start = false) (107) [DISC] (1) Boolean T1.inPort.node.suspend (108) [DISC] (1) protected Boolean step4.outport_fire (109) [DISC] (1) protected Boolean step2.outport_fire (110) [DISC] (1) protected Boolean step3.outport_fire (111) [DISC] (1) protected Boolean step1.outport_fire (112) [DISC] (1) Boolean[1] initialStep.outPort.available (113) [DISC] (1) Boolean T5.inPort.node.resume (114) [DISC] (1) protected Boolean step4.connectorNode.node.resume (115) [DISS] (1) protected Boolean step4.oldActive (fixed = true, start = false) (116) [DISC] (1) protected Boolean step2.newActive (fixed = true, start = false) (117) [DISC] (1) Boolean T4.outPort.node.suspend (118) [DISC] (1) Boolean T1.outPort.node.resume (119) [DISC] (1) protected Boolean step1.inport_fire (120) [DISS] (1) protected Boolean step3.oldActive (fixed = true, start = false) (121) [DISC] (1) Boolean[1] initialStep.inPort.node.resume (122) [DISS] (1) protected Real T3.t_start (123) [DISC] (1) Boolean[1] step4.outPort.node.suspend (124) [DISC] (1) protected Boolean step1.newActive (fixed = true, start = false) (125) [DISC] (1) Boolean T4.enableFire (126) [DISC] (1) Boolean[1] step2.outPort.available (127) [DISC] (1) protected Boolean step3.connectorNode.node.suspend (128) [DISC] (1) Boolean T2.inPort.node.resume (129) [DISC] (1) Boolean T3.inPort.node.resume (130) [DISS] (1) protected Boolean step2.oldActive (fixed = true, start = false) (131) [DISC] (1) protected Boolean step3.connectorNode.node.resume (132) [DISC] (1) Boolean set1.y (fixed = true, start = set1.y_default) (133) [DISC] (1) Boolean T3.outPort.node.suspend (134) [DISC] (1) Boolean T1.enableFire (135) [DISC] (1) protected Boolean step1.connectorNode.node.resume (136) [DISC] (2) Boolean[2] set1.u (137) [DISC] (1) Boolean[1] step4.inPort.node.resume (138) [DISC] (1) Boolean[1] step3.outPort.fire (139) [DISC] (1) Boolean[1] step1.outPort.fire (140) [DISC] (1) Boolean[1] step4.outPort.fire (141) [DISC] (1) Boolean[1] step2.outPort.fire (142) [DISS] (1) protected Real T4.t_start (143) [DISS] (1) protected Boolean step1.oldActive (fixed = true, start = false) (144) [DISC] (1) Boolean[1] step4.outPort.node.resume (145) [DISC] (1) protected Boolean initialStep.inport_fire (146) [DISC] (1) Boolean T2.outPort.node.suspend (147) [DISC] (1) Boolean T3.inPort.node.suspend (148) [DISC] (1) Boolean[1] step3.inPort.node.suspend (149) [DISC] (1) Boolean[1] step3.inPort.fire System Equations (147/163) **************************** (1) [SCAL] (1) step3.outPort[1].fire = T4.outPort.fire ($RES_SIM_204) (2) [SCAL] (1) step3.outPort[1].available = T4.inPort.available ($RES_SIM_206) (3) [RECD] (2) T3.outPort.node = T3.inPort.node ($RES_SIM_81) (4) [SCAL] (1) step2.outPort[1].fire = true ($RES_SIM_121) (5) [SCAL] (1) T3.outPort.node.resume = initialStep.inPort[1].node.resume ($RES_SIM_207) (6) [SCAL] (1) T3.outPort.node.suspend = initialStep.inPort[1].node.suspend ($RES_SIM_208) (7) [SCAL] (1) T3.outPort.fire = initialStep.inPort[1].fire ($RES_SIM_209) (8) [SCAL] (1) step2.inPort[1].fire = true ($RES_SIM_124) (9) [SCAL] (1) T3.outPort.fire = $SEV_10 ($RES_SIM_85) (10) [WHEN] (1)when T3.enableFire then (10) [----] T3.t_start := time (10) [----] end when; (11) [SCAL] (1) T3.enableFire = T3.inPort.available ($RES_SIM_87) (12) [SCAL] (1) step3.outPort[1].fire = true ($RES_SIM_89) (13) [SCAL] (1) $SEV_15 = step2.active and not step2.connectorNode.node.suspend ($RES_EVT_290) (14) [SCAL] (1) $SEV_16 = step2.inport_fire or (step2.active and not step2.outport_fire) and not step2.connectorNode.node.suspend ($RES_EVT_291) (15) [SCAL] (1) $SEV_18 = T1.enableFire and time >= (T1.t_start + T1.waitTime) ($RES_EVT_293) (16) [SCAL] (1) $SEV_19 = initialStep.active and not initialStep.connectorNode.node.suspend ($RES_EVT_294) (17) [SCAL] (1) $SEV_20 = initialStep.inport_fire or (initialStep.active and not initialStep.outport_fire) and not initialStep.connectorNode.node.suspend ($RES_EVT_295) (18) [SCAL] (1) fallingEdge.y = edge(not step3.active) ($RES_SIM_12) (19) [SCAL] (1) set1.y = if $SEV_0 then if set1.use_pre_as_default then $TEV_11 else set1.y_default else set1.expr[set1.firstActiveIndex] ($RES_SIM_13) (20) [SCAL] (1) T2.outPort.node.resume = step3.inPort[1].node.resume ($RES_SIM_212) (21) [SCAL] (1) T2.outPort.node.suspend = step3.inPort[1].node.suspend ($RES_SIM_213) (22) [SCAL] (1) risingEdge.y = edge(initialStep.active) ($RES_SIM_15) (23) [SCAL] (1) T2.outPort.fire = step3.inPort[1].fire ($RES_SIM_214) (24) [SCAL] (1) step1.outPort[1].fire = true ($RES_SIM_16) (25) [FOR-] (2) ($RES_SIM_130) (25) [----] for $i1 in 1:1 loop (25) [----] [RECD] (2) step2.outPort[$i1].node = step2.connectorNode.node ($RES_SIM_131) (25) [----] end for; (26) [SCAL] (1) step2.outPort[1].node.resume = T2.inPort.node.resume ($RES_SIM_217) (27) [SCAL] (1) step3.inPort[1].fire = true ($RES_SIM_92) (28) [SCAL] (1) step1.inPort[1].fire = true ($RES_SIM_19) (29) [SCAL] (1) step2.outPort[1].node.suspend = T2.inPort.node.suspend ($RES_SIM_218) (30) [SCAL] (1) step2.outPort[1].fire = T2.outPort.fire ($RES_SIM_219) (31) [FOR-] (2) ($RES_SIM_134) (31) [----] for $i1 in 1:1 loop (31) [----] [RECD] (2) step2.inPort[$i1].node = step2.connectorNode.node ($RES_SIM_135) (31) [----] end for; (32) [FOR-] (2) ($RES_SIM_98) (32) [----] for $i1 in 1:1 loop (32) [----] [RECD] (2) step3.outPort[$i1].node = step3.connectorNode.node ($RES_SIM_99) (32) [----] end for; (33) [SCAL] (1) step2.outPort[1].available = $SEV_15 ($RES_SIM_138) (34) [WHEN] (1)when step2.connectorNode.node.suspend then (34) [----] step2.oldActive := step2.active (34) [----] end when; (35) [SCAL] (1) step2.outPort[1].available = T2.inPort.available ($RES_SIM_221) (36) [SCAL] (1) T1.outPort.node.resume = step2.inPort[1].node.resume ($RES_SIM_222) (37) [SCAL] (1) T1.outPort.node.suspend = step2.inPort[1].node.suspend ($RES_SIM_223) (38) [FOR-] (2) ($RES_SIM_25) (38) [----] for $i1 in 1:1 loop (38) [----] [RECD] (2) step1.outPort[$i1].node = step1.connectorNode.node ($RES_SIM_26) (38) [----] end for; (39) [SCAL] (1) T1.outPort.fire = step2.inPort[1].fire ($RES_SIM_224) (40) [SCAL] (1) step2.active = $TEV_15 ($RES_SIM_140) (41) [SCAL] (1) step2.newActive = if step2.connectorNode.node.resume then step2.oldActive else $SEV_16 ($RES_SIM_141) (42) [SCAL] (1) initialStep.outPort[1].node.resume = T1.inPort.node.resume ($RES_SIM_227) (43) [FOR-] (2) ($RES_SIM_29) (43) [----] for $i1 in 1:1 loop (43) [----] [RECD] (2) step1.inPort[$i1].node = step1.connectorNode.node ($RES_SIM_30) (43) [----] end for; (44) [SCAL] (1) initialStep.outPort[1].node.suspend = T1.inPort.node.suspend ($RES_SIM_228) (45) [SCAL] (1) initialStep.outPort[1].fire = T1.outPort.fire ($RES_SIM_229) (46) [RECD] (2) T1.outPort.node = T1.inPort.node ($RES_SIM_145) (47) [SCAL] (1) T1.outPort.fire = $SEV_18 ($RES_SIM_149) (48) [SCAL] (1) initialStep.outPort[1].available = T1.inPort.available ($RES_SIM_231) (49) [SCAL] (1) step1.outPort[1].available = $SEV_1 ($RES_SIM_33) (50) [WHEN] (1)when step1.connectorNode.node.suspend then (50) [----] step1.oldActive := step1.activePort (50) [----] end when; (51) [SCAL] (1) step1.activePort = $TEV_12 ($RES_SIM_35) (52) [SCAL] (1) step1.newActive = if step1.connectorNode.node.resume then step1.oldActive else $SEV_2 ($RES_SIM_36) (53) [WHEN] (1)when T1.enableFire then (53) [----] T1.t_start := time (53) [----] end when; (54) [SCAL] (1) T1.enableFire = T1.inPort.available ($RES_SIM_151) (55) [SCAL] (1) initialStep.outPort[1].fire = true ($RES_SIM_153) (56) [SCAL] (1) initialStep.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(initialStep.inPort.fire) ($RES_$AUX_257) (57) [SCAL] (1) initialStep.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(initialStep.outPort.fire) ($RES_$AUX_256) (58) [SCAL] (1) initialStep.inPort[1].fire = true ($RES_SIM_156) (59) [SCAL] (1) step2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.inPort.fire) ($RES_$AUX_254) (60) [SCAL] (1) step2.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.outPort.fire) ($RES_$AUX_253) (61) [SCAL] (1) step3.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step3.inPort.fire) ($RES_$AUX_251) (62) [SCAL] (1) step3.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step3.outPort.fire) ($RES_$AUX_250) (63) [RECD] (2) T5.outPort.node = T5.inPort.node ($RES_SIM_40) (64) [SCAL] (1) T5.outPort.fire = $SEV_4 ($RES_SIM_44) (65) [WHEN] (1)when T5.enableFire then (65) [----] T5.t_start := time (65) [----] end when; (66) [SCAL] (1) T5.enableFire = T5.inPort.available ($RES_SIM_46) (67) [RECD] (2) T4.outPort.node = T4.inPort.node ($RES_SIM_49) (68) [FOR-] (2) ($RES_SIM_162) (68) [----] for $i1 in 1:1 loop (68) [----] [RECD] (2) initialStep.outPort[$i1].node = initialStep.connectorNode.node ($RES_SIM_163) (68) [----] end for; (69) [SCAL] (1) step4.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step4.inPort.fire) ($RES_$AUX_248) (70) [SCAL] (1) initialStep.connectorNode.node.resume = false ($RES_SIM_164) (71) [SCAL] (1) step4.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step4.outPort.fire) ($RES_$AUX_247) (72) [SCAL] (1) initialStep.connectorNode.node.suspend = false ($RES_SIM_165) (73) [SCAL] (1) step1.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step1.inPort.fire) ($RES_$AUX_245) (74) [SCAL] (1) step1.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step1.outPort.fire) ($RES_$AUX_244) (75) [FOR-] (2) ($RES_SIM_168) (75) [----] for $i1 in 1:1 loop (75) [----] [RECD] (2) initialStep.inPort[$i1].node = initialStep.connectorNode.node ($RES_SIM_169) (75) [----] end for; (76) [SCAL] (1) set1.firstActiveIndex = Modelica_StateGraph2.Blocks.BooleanFunctions.firstTrueIndex(set1.u) ($RES_$AUX_242) (77) [SCAL] (1) $TEV_0 = $PRE.initialStep.active ($RES_EVT_258) (78) [SCAL] (1) $TEV_1 = $PRE.T5.t_start ($RES_EVT_259) (79) [SCAL] (1) T4.outPort.fire = $SEV_6 ($RES_SIM_53) (80) [WHEN] (1)when T4.enableFire then (80) [----] T4.t_start := time (80) [----] end when; (81) [SCAL] (1) T4.enableFire = T4.inPort.available ($RES_SIM_55) (82) [SCAL] (1) step4.outPort[1].fire = true ($RES_SIM_57) (83) [SCAL] (1) initialStep.outPort[1].available = $SEV_19 ($RES_SIM_172) (84) [WHEN] (1)when initialStep.connectorNode.node.suspend then (84) [----] initialStep.oldActive := initialStep.active (84) [----] end when; (85) [SCAL] (1) initialStep.active = $TEV_16 ($RES_SIM_174) (86) [SCAL] (1) initialStep.newActive = if initialStep.connectorNode.node.resume then initialStep.oldActive else $SEV_20 ($RES_SIM_175) (87) [SCAL] (1) fallingEdge.y = set1.u[2] ($RES_SIM_178) (88) [SCAL] (1) $TEV_2 = $PRE.T5.enableFire ($RES_EVT_260) (89) [SCAL] (1) $TEV_3 = $PRE.T4.t_start ($RES_EVT_261) (90) [SCAL] (1) $TEV_4 = $PRE.T4.enableFire ($RES_EVT_262) (91) [SCAL] (1) $TEV_5 = $PRE.T3.t_start ($RES_EVT_263) (92) [SCAL] (1) $TEV_6 = $PRE.T3.enableFire ($RES_EVT_264) (93) [SCAL] (1) $TEV_7 = $PRE.T2.t_start ($RES_EVT_265) (94) [SCAL] (1) $TEV_8 = $PRE.T2.enableFire ($RES_EVT_266) (95) [SCAL] (1) $TEV_9 = $PRE.T1.t_start ($RES_EVT_267) (96) [SCAL] (1) $TEV_10 = $PRE.T1.enableFire ($RES_EVT_268) (97) [SCAL] (1) $TEV_11 = $PRE.set1.y ($RES_EVT_269) (98) [SCAL] (1) step4.inPort[1].fire = true ($RES_SIM_60) (99) [FOR-] (2) ($RES_SIM_102) (99) [----] for $i1 in 1:1 loop (99) [----] [RECD] (2) step3.inPort[$i1].node = step3.connectorNode.node ($RES_SIM_103) (99) [----] end for; (100) [FOR-] (2) ($RES_SIM_66) (100) [----] for $i1 in 1:1 loop (100) [----] [RECD] (2) step4.outPort[$i1].node = step4.connectorNode.node ($RES_SIM_67) (100) [----] end for; (101) [SCAL] (1) step3.outPort[1].available = $SEV_11 ($RES_SIM_106) (102) [SCAL] (1) risingEdge.y = set1.u[1] ($RES_SIM_180) (103) [WHEN] (1)when step3.connectorNode.node.suspend then (103) [----] step3.oldActive := step3.active (103) [----] end when; (104) [SCAL] (1) step3.active = $TEV_14 ($RES_SIM_108) (105) [SCAL] (1) step1.outPort[1].node.resume = T3.inPort.node.resume ($RES_SIM_182) (106) [SCAL] (1) step3.newActive = if step3.connectorNode.node.resume then step3.oldActive else $SEV_12 ($RES_SIM_109) (107) [SCAL] (1) step1.outPort[1].node.suspend = T3.inPort.node.suspend ($RES_SIM_183) (108) [SCAL] (1) step1.outPort[1].fire = T3.outPort.fire ($RES_SIM_184) (109) [SCAL] (1) step1.outPort[1].available = T3.inPort.available ($RES_SIM_186) (110) [SCAL] (1) T5.outPort.node.resume = step1.inPort[1].node.resume ($RES_SIM_187) (111) [SCAL] (1) T5.outPort.node.suspend = step1.inPort[1].node.suspend ($RES_SIM_188) (112) [SCAL] (1) T5.outPort.fire = step1.inPort[1].fire ($RES_SIM_189) (113) [SCAL] (1) $TEV_12 = $PRE.step1.newActive ($RES_EVT_270) (114) [SCAL] (1) $TEV_13 = $PRE.step4.newActive ($RES_EVT_271) (115) [SCAL] (1) $TEV_14 = $PRE.step3.newActive ($RES_EVT_272) (116) [SCAL] (1) $TEV_15 = $PRE.step2.newActive ($RES_EVT_273) (117) [SCAL] (1) $TEV_16 = $PRE.initialStep.newActive ($RES_EVT_274) (118) [SCAL] (1) $SEV_0 = set1.firstActiveIndex == 0 ($RES_EVT_275) (119) [ARRY] (2) set1.expr = {true, false} ($RES_BND_240) (120) [SCAL] (1) $SEV_1 = step1.activePort and not step1.connectorNode.node.suspend ($RES_EVT_276) (121) [SCAL] (1) $SEV_2 = step1.inport_fire or (step1.activePort and not step1.outport_fire) and not step1.connectorNode.node.suspend ($RES_EVT_277) (122) [SCAL] (1) $SEV_4 = T5.enableFire and time >= (T5.t_start + T5.waitTime) ($RES_EVT_279) (123) [FOR-] (2) ($RES_SIM_70) (123) [----] for $i1 in 1:1 loop (123) [----] [RECD] (2) step4.inPort[$i1].node = step4.connectorNode.node ($RES_SIM_71) (123) [----] end for; (124) [RECD] (2) T2.outPort.node = T2.inPort.node ($RES_SIM_113) (125) [SCAL] (1) step4.outPort[1].available = $SEV_7 ($RES_SIM_74) (126) [WHEN] (1)when step4.connectorNode.node.suspend then (126) [----] step4.oldActive := step4.active (126) [----] end when; (127) [SCAL] (1) step4.active = $TEV_13 ($RES_SIM_76) (128) [SCAL] (1) step4.newActive = if step4.connectorNode.node.resume then step4.oldActive else $SEV_8 ($RES_SIM_77) (129) [SCAL] (1) T2.outPort.fire = $SEV_14 ($RES_SIM_117) (130) [WHEN] (1)when T2.enableFire then (130) [----] T2.t_start := time (130) [----] end when; (131) [SCAL] (1) step4.outPort[1].node.resume = T5.inPort.node.resume ($RES_SIM_192) (132) [SCAL] (1) T2.enableFire = T2.inPort.available ($RES_SIM_119) (133) [SCAL] (1) step4.outPort[1].node.suspend = T5.inPort.node.suspend ($RES_SIM_193) (134) [SCAL] (1) step4.outPort[1].fire = T5.outPort.fire ($RES_SIM_194) (135) [SCAL] (1) step4.outPort[1].available = T5.inPort.available ($RES_SIM_196) (136) [SCAL] (1) T4.outPort.node.resume = step4.inPort[1].node.resume ($RES_SIM_197) (137) [SCAL] (1) T4.outPort.node.suspend = step4.inPort[1].node.suspend ($RES_SIM_198) (138) [SCAL] (1) T4.outPort.fire = step4.inPort[1].fire ($RES_SIM_199) (139) [SCAL] (1) $SEV_6 = T4.enableFire and time >= (T4.t_start + T4.waitTime) ($RES_EVT_281) (140) [SCAL] (1) $SEV_7 = step4.active and not step4.connectorNode.node.suspend ($RES_EVT_282) (141) [SCAL] (1) $SEV_8 = step4.inport_fire or (step4.active and not step4.outport_fire) and not step4.connectorNode.node.suspend ($RES_EVT_283) (142) [SCAL] (1) $SEV_10 = T3.enableFire and time >= (T3.t_start + T3.waitTime) ($RES_EVT_285) (143) [SCAL] (1) $SEV_11 = step3.active and not step3.connectorNode.node.suspend ($RES_EVT_286) (144) [SCAL] (1) $SEV_12 = step3.inport_fire or (step3.active and not step3.outport_fire) and not step3.connectorNode.node.suspend ($RES_EVT_287) (145) [SCAL] (1) step3.outPort[1].node.resume = T4.inPort.node.resume ($RES_SIM_202) (146) [SCAL] (1) $SEV_14 = T2.enableFire and time >= (T2.t_start + T2.waitTime) ($RES_EVT_289) (147) [SCAL] (1) step3.outPort[1].node.suspend = T4.inPort.node.suspend ($RES_SIM_203)