Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Actions3.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.Actions3,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Actions3") translateModel(Modelica_StateGraph2.Examples.BasicStateGraphs.Actions3,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_StateGraph2_Modelica_StateGraph2.Examples.BasicStateGraphs.Actions3") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001123/0.001123, allocations: 98.8 kB / 16.42 MB, free: 6.516 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.001122/0.001122, allocations: 192.2 kB / 17.35 MB, free: 5.758 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.193/1.193, allocations: 222.9 MB / 241 MB, free: 15.16 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica_StateGraph2 2.1.0/package.mo): time 0.07123/0.07123, allocations: 13.55 MB / 304.8 MB, free: 1.156 MB / 238.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 1.134e-05/1.134e-05, allocations: 2.281 kB / 422.2 MB, free: 14.41 MB / 302.1 MB Notification: Performance of NFInst.instantiate(Modelica_StateGraph2.Examples.BasicStateGraphs.Actions3): time 0.002132/0.002151, allocations: 2.285 MB / 424.5 MB, free: 12.11 MB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.001257/0.003418, allocations: 1.114 MB / 425.6 MB, free: 10.99 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0001357/0.003565, allocations: 27.81 kB / 425.6 MB, free: 10.96 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.00119/0.004761, allocations: 0.9945 MB / 426.6 MB, free: 9.961 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 9.595e-05/0.004875, allocations: 59.33 kB / 426.7 MB, free: 9.902 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.0006982/0.00558, allocations: 406.7 kB / 427.1 MB, free: 9.508 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.0004732/0.006062, allocations: 0.799 MB / 427.9 MB, free: 8.707 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0006982/0.006768, allocations: 0.9357 MB / 428.8 MB, free: 7.766 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.0002363/0.007012, allocations: 374.8 kB / 429.2 MB, free: 7.398 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0002506/0.007269, allocations: 362.3 kB / 429.5 MB, free: 7.043 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 8.702e-05/0.007362, allocations: 80 kB / 429.6 MB, free: 6.965 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0001526/0.00752, allocations: 108 kB / 429.7 MB, free: 6.859 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.0004403/0.007967, allocations: 1.108 MB / 430.8 MB, free: 5.738 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0001862/0.008159, allocations: 0.7231 MB / 431.6 MB, free: 5.004 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 7.444e-05/0.008238, allocations: 95.62 kB / 431.7 MB, free: 4.91 MB / 302.1 MB Notification: Performance of FrontEnd: time 7.531e-05/0.008319, allocations: 107.5 kB / 431.8 MB, free: 4.805 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: 195 (179) * Number of variables: 178 (176) Notification: Performance of Bindings: time 0.002003/0.01033, allocations: 3.142 MB / 434.9 MB, free: 1.512 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.0002646/0.0106, allocations: 397.8 kB / 435.3 MB, free: 1.125 MB / 302.1 MB Notification: Performance of Early Inline: time 0.001401/0.012, allocations: 1.858 MB / 437.1 MB, free: 15.23 MB / 318.1 MB Notification: Performance of simplify1: time 0.0001417/0.01215, allocations: 139.8 kB / 437.3 MB, free: 15.09 MB / 318.1 MB Notification: Performance of Alias: time 0.002317/0.01448, allocations: 2.401 MB / 439.7 MB, free: 12.39 MB / 318.1 MB Notification: Performance of simplify2: time 9.861e-05/0.01459, allocations: 115.8 kB / 439.8 MB, free: 12.27 MB / 318.1 MB Notification: Performance of Events: time 0.0005066/0.0151, allocations: 495.5 kB / 440.3 MB, free: 11.78 MB / 318.1 MB Notification: Performance of Detect States: time 0.0008528/0.01596, allocations: 0.9576 MB / 441.2 MB, free: 10.79 MB / 318.1 MB Notification: Performance of Partitioning: time 0.001085/0.01705, allocations: 1.118 MB / 442.4 MB, free: 9.535 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 (148/150) **************************** (1) [DISC] (1) Boolean step4.active (2) [DISC] (1) Boolean T4.outPort.node.resume (3) [DISC] (2) Integer[2] set1.expr = {11, 12} (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[1] initialStep.inPort.fire (43) [DISC] (1) protected Boolean initialStep.outport_fire (44) [DISC] (1) Boolean T2.enableFire (45) [DISC] (1) protected Boolean step3.inport_fire (46) [DISC] (1) Boolean[1] step4.inPort.fire (47) [DISC] (1) Boolean[1] step2.inPort.fire (48) [DISC] (1) Boolean[1] initialStep.outPort.node.suspend (49) [DISC] (1) Boolean[1] step1.outPort.node.resume (50) [DISC] (1) Boolean step1.activePort = step1.activePort (51) [DISC] (1) protected Boolean step1.connectorNode.node.suspend (52) [DISC] (1) Boolean[1] step3.outPort.node.suspend (53) [DISC] (1) protected Integer set1.firstActiveIndex (54) [DISC] (1) Boolean[1] step1.inPort.node.suspend (55) [DISC] (1) protected Boolean step2.connectorNode.node.suspend (56) [DISC] (1) Boolean[1] step1.outPort.available (57) [DISC] (1) Boolean T5.inPort.node.suspend (58) [DISC] (1) Boolean $TEV_16 (59) [DISC] (1) Boolean $TEV_15 (60) [DISC] (1) Boolean $TEV_14 (61) [DISC] (1) Boolean $TEV_13 (62) [DISC] (1) Boolean[1] step2.outPort.node.resume (63) [DISC] (1) Boolean $TEV_12 (64) [DISC] (1) Boolean $TEV_11 (65) [DISC] (1) Boolean $TEV_10 (66) [DISC] (1) Boolean T5.outPort.node.suspend (67) [DISC] (1) Boolean[1] step1.outPort.node.suspend (68) [DISC] (1) Boolean[1] initialStep.inPort.node.suspend (69) [DISC] (1) Boolean T1.inPort.available (70) [DISC] (1) protected Boolean initialStep.newActive (fixed = true, start = true) (71) [DISC] (1) Boolean T2.inPort.available (72) [DISC] (1) Boolean[1] initialStep.outPort.fire (73) [DISC] (1) protected Boolean step4.inport_fire (74) [DISC] (1) Boolean initialStep.activePort = initialStep.activePort (75) [DISC] (1) Boolean[1] initialStep.outPort.node.resume (76) [DISC] (1) Boolean[1] step2.outPort.node.suspend (77) [DISC] (1) protected Boolean step2.connectorNode.node.resume (78) [DISC] (1) protected Boolean step2.inport_fire (79) [DISS] (1) protected Boolean initialStep.oldActive (fixed = true, start = true) (80) [DISC] (1) Boolean T3.enableFire (81) [DISC] (1) Boolean $SEV_8 (82) [DISC] (1) Boolean $SEV_7 (83) [DISS] (1) protected Real T1.t_start (84) [DISC] (1) Boolean $SEV_6 (85) [DISC] (1) Boolean[1] step1.inPort.fire (86) [DISC] (1) Boolean $SEV_4 (87) [DISC] (1) Boolean $SEV_2 (88) [DISC] (1) Boolean $SEV_1 (89) [DISC] (1) Boolean $SEV_0 (90) [DISC] (1) Boolean T3.inPort.available (91) [DISC] (1) Boolean T3.outPort.node.resume (92) [DISC] (1) Boolean[1] step4.inPort.node.suspend (93) [DISC] (1) Boolean T2.inPort.node.suspend (94) [DISC] (1) protected Boolean step4.newActive (fixed = true, start = false) (95) [DISC] (1) Boolean[1] step4.outPort.available (96) [DISC] (1) protected Boolean step4.connectorNode.node.suspend (97) [DISC] (1) Boolean[1] step3.outPort.available (98) [DISC] (1) Boolean T2.outPort.node.resume (99) [DISC] (1) Boolean[1] step2.inPort.node.resume (100) [DISC] (1) Boolean step3.activePort = step3.activePort (101) [DISS] (1) protected Real T2.t_start (102) [DISC] (1) Boolean T1.outPort.node.suspend (103) [DISC] (1) protected Boolean step3.newActive (fixed = true, start = false) (104) [DISC] (1) Boolean T1.inPort.node.suspend (105) [DISC] (1) protected Boolean step4.outport_fire (106) [DISC] (1) protected Boolean step2.outport_fire (107) [DISC] (1) protected Boolean step3.outport_fire (108) [DISC] (1) protected Boolean step1.outport_fire (109) [DISC] (1) Boolean[1] initialStep.outPort.available (110) [DISC] (1) Boolean T5.inPort.node.resume (111) [DISC] (1) protected Boolean step4.connectorNode.node.resume (112) [DISS] (1) protected Boolean step4.oldActive (fixed = true, start = false) (113) [DISC] (1) protected Boolean step2.newActive (fixed = true, start = false) (114) [DISC] (1) Boolean T4.outPort.node.suspend (115) [DISC] (1) Boolean T1.outPort.node.resume (116) [DISC] (1) protected Boolean step1.inport_fire (117) [DISS] (1) protected Boolean step3.oldActive (fixed = true, start = false) (118) [DISC] (1) Boolean[1] initialStep.inPort.node.resume (119) [DISS] (1) protected Real T3.t_start (120) [DISC] (1) Boolean[1] step4.outPort.node.suspend (121) [DISC] (1) protected Boolean step1.newActive (fixed = true, start = false) (122) [DISC] (1) Boolean T4.enableFire (123) [DISC] (1) Boolean[1] step2.outPort.available (124) [DISC] (1) protected Boolean step3.connectorNode.node.suspend (125) [DISC] (1) Boolean T2.inPort.node.resume (126) [DISC] (1) Boolean T3.inPort.node.resume (127) [DISS] (1) protected Boolean step2.oldActive (fixed = true, start = false) (128) [DISC] (1) protected Boolean step3.connectorNode.node.resume (129) [DISC] (1) Integer set1.y (130) [DISC] (1) Boolean T3.outPort.node.suspend (131) [DISC] (1) Boolean T1.enableFire (132) [DISC] (1) protected Boolean step1.connectorNode.node.resume (133) [DISC] (2) Boolean[2] set1.u (134) [DISC] (1) Boolean[1] step4.inPort.node.resume (135) [DISC] (1) Boolean[1] step3.outPort.fire (136) [DISC] (1) Boolean[1] step1.outPort.fire (137) [DISC] (1) Boolean[1] step4.outPort.fire (138) [DISC] (1) Boolean[1] step2.outPort.fire (139) [DISS] (1) protected Real T4.t_start (140) [DISS] (1) protected Boolean step1.oldActive (fixed = true, start = false) (141) [DISC] (1) Boolean[1] step4.outPort.node.resume (142) [DISC] (1) protected Boolean initialStep.inport_fire (143) [DISC] (1) Boolean T2.outPort.node.suspend (144) [DISC] (1) Boolean step2.activePort = step2.activePort (145) [DISC] (1) Boolean T3.inPort.node.suspend (146) [DISS] (1) Integer add1.y (147) [DISC] (1) Boolean[1] step3.inPort.node.suspend (148) [DISC] (1) Boolean[1] step3.inPort.fire System Equations (146/162) **************************** (1) [SCAL] (1) step3.outPort[1].node.suspend = T4.inPort.node.suspend ($RES_SIM_204) (2) [SCAL] (1) step3.outPort[1].fire = T4.outPort.fire ($RES_SIM_205) (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) step3.outPort[1].available = T4.inPort.available ($RES_SIM_207) (6) [SCAL] (1) T3.outPort.node.resume = initialStep.inPort[1].node.resume ($RES_SIM_208) (7) [SCAL] (1) T3.outPort.node.suspend = initialStep.inPort[1].node.suspend ($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_11 = step3.activePort and not step3.connectorNode.node.suspend ($RES_EVT_290) (14) [SCAL] (1) $SEV_12 = step3.inport_fire or (step3.activePort and not step3.outport_fire) and not step3.connectorNode.node.suspend ($RES_EVT_291) (15) [SCAL] (1) $SEV_14 = T2.enableFire and time >= (T2.t_start + T2.waitTime) ($RES_EVT_293) (16) [SCAL] (1) $SEV_15 = step2.activePort and not step2.connectorNode.node.suspend ($RES_EVT_294) (17) [SCAL] (1) $SEV_16 = step2.inport_fire or (step2.activePort and not step2.outport_fire) and not step2.connectorNode.node.suspend ($RES_EVT_295) (18) [SCAL] (1) set1.y = if $SEV_0 then set1.expr[set1.firstActiveIndex] else if set1.use_pre_as_default then $TEV_0 else set1.y_default ($RES_SIM_12) (19) [SCAL] (1) $SEV_18 = T1.enableFire and time >= (T1.t_start + T1.waitTime) ($RES_EVT_297) (20) [SCAL] (1) T3.outPort.fire = initialStep.inPort[1].fire ($RES_SIM_210) (21) [SCAL] (1) $SEV_19 = initialStep.activePort and not initialStep.connectorNode.node.suspend ($RES_EVT_298) (22) [WHEN] (1)when {T2.outPort.fire, T5.outPort.fire} then (22) [----] add1.y := if T5.outPort.fire then add1.y_start else $PRE.add1.y + set1.y (22) [----] end when; (23) [SCAL] (1) $SEV_20 = initialStep.inport_fire or (initialStep.activePort and not initialStep.outport_fire) and not initialStep.connectorNode.node.suspend ($RES_EVT_299) (24) [SCAL] (1) T2.outPort.node.resume = step3.inPort[1].node.resume ($RES_SIM_213) (25) [SCAL] (1) T2.outPort.node.suspend = step3.inPort[1].node.suspend ($RES_SIM_214) (26) [SCAL] (1) step1.outPort[1].fire = true ($RES_SIM_16) (27) [FOR-] (2) ($RES_SIM_130) (27) [----] for $i1 in 1:1 loop (27) [----] [RECD] (2) step2.outPort[$i1].node = step2.connectorNode.node ($RES_SIM_131) (27) [----] end for; (28) [SCAL] (1) T2.outPort.fire = step3.inPort[1].fire ($RES_SIM_215) (29) [SCAL] (1) step3.inPort[1].fire = true ($RES_SIM_92) (30) [SCAL] (1) step1.inPort[1].fire = true ($RES_SIM_19) (31) [SCAL] (1) step2.outPort[1].node.resume = T2.inPort.node.resume ($RES_SIM_218) (32) [SCAL] (1) step2.outPort[1].node.suspend = T2.inPort.node.suspend ($RES_SIM_219) (33) [FOR-] (2) ($RES_SIM_134) (33) [----] for $i1 in 1:1 loop (33) [----] [RECD] (2) step2.inPort[$i1].node = step2.connectorNode.node ($RES_SIM_135) (33) [----] end for; (34) [FOR-] (2) ($RES_SIM_98) (34) [----] for $i1 in 1:1 loop (34) [----] [RECD] (2) step3.outPort[$i1].node = step3.connectorNode.node ($RES_SIM_99) (34) [----] end for; (35) [SCAL] (1) step2.outPort[1].available = $SEV_15 ($RES_SIM_138) (36) [WHEN] (1)when step2.connectorNode.node.suspend then (36) [----] step2.oldActive := step2.activePort (36) [----] end when; (37) [SCAL] (1) step2.outPort[1].fire = T2.outPort.fire ($RES_SIM_220) (38) [SCAL] (1) step2.outPort[1].available = T2.inPort.available ($RES_SIM_222) (39) [SCAL] (1) T1.outPort.node.resume = step2.inPort[1].node.resume ($RES_SIM_223) (40) [FOR-] (2) ($RES_SIM_25) (40) [----] for $i1 in 1:1 loop (40) [----] [RECD] (2) step1.outPort[$i1].node = step1.connectorNode.node ($RES_SIM_26) (40) [----] end for; (41) [SCAL] (1) T1.outPort.node.suspend = step2.inPort[1].node.suspend ($RES_SIM_224) (42) [SCAL] (1) T1.outPort.fire = step2.inPort[1].fire ($RES_SIM_225) (43) [SCAL] (1) step2.activePort = $TEV_15 ($RES_SIM_140) (44) [SCAL] (1) step2.newActive = if step2.connectorNode.node.resume then step2.oldActive else $SEV_16 ($RES_SIM_141) (45) [FOR-] (2) ($RES_SIM_29) (45) [----] for $i1 in 1:1 loop (45) [----] [RECD] (2) step1.inPort[$i1].node = step1.connectorNode.node ($RES_SIM_30) (45) [----] end for; (46) [SCAL] (1) initialStep.outPort[1].node.resume = T1.inPort.node.resume ($RES_SIM_228) (47) [SCAL] (1) initialStep.outPort[1].node.suspend = T1.inPort.node.suspend ($RES_SIM_229) (48) [RECD] (2) T1.outPort.node = T1.inPort.node ($RES_SIM_145) (49) [SCAL] (1) T1.outPort.fire = $SEV_18 ($RES_SIM_149) (50) [SCAL] (1) initialStep.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(initialStep.inPort.fire) ($RES_$AUX_261) (51) [SCAL] (1) initialStep.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(initialStep.outPort.fire) ($RES_$AUX_260) (52) [SCAL] (1) initialStep.outPort[1].fire = T1.outPort.fire ($RES_SIM_230) (53) [SCAL] (1) step1.outPort[1].available = $SEV_1 ($RES_SIM_33) (54) [SCAL] (1) initialStep.outPort[1].available = T1.inPort.available ($RES_SIM_232) (55) [WHEN] (1)when step1.connectorNode.node.suspend then (55) [----] step1.oldActive := step1.activePort (55) [----] end when; (56) [SCAL] (1) step1.activePort = $TEV_12 ($RES_SIM_35) (57) [SCAL] (1) step1.newActive = if step1.connectorNode.node.resume then step1.oldActive else $SEV_2 ($RES_SIM_36) (58) [WHEN] (1)when T1.enableFire then (58) [----] T1.t_start := time (58) [----] end when; (59) [SCAL] (1) T1.enableFire = T1.inPort.available ($RES_SIM_151) (60) [SCAL] (1) initialStep.outPort[1].fire = true ($RES_SIM_153) (61) [SCAL] (1) step2.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.inPort.fire) ($RES_$AUX_258) (62) [SCAL] (1) step2.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step2.outPort.fire) ($RES_$AUX_257) (63) [SCAL] (1) initialStep.inPort[1].fire = true ($RES_SIM_156) (64) [SCAL] (1) step3.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step3.inPort.fire) ($RES_$AUX_255) (65) [SCAL] (1) step3.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step3.outPort.fire) ($RES_$AUX_254) (66) [SCAL] (1) step4.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step4.inPort.fire) ($RES_$AUX_252) (67) [SCAL] (1) step4.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step4.outPort.fire) ($RES_$AUX_251) (68) [RECD] (2) T5.outPort.node = T5.inPort.node ($RES_SIM_40) (69) [SCAL] (1) T5.outPort.fire = $SEV_4 ($RES_SIM_44) (70) [WHEN] (1)when T5.enableFire then (70) [----] T5.t_start := time (70) [----] end when; (71) [SCAL] (1) T5.enableFire = T5.inPort.available ($RES_SIM_46) (72) [RECD] (2) T4.outPort.node = T4.inPort.node ($RES_SIM_49) (73) [FOR-] (2) ($RES_SIM_162) (73) [----] for $i1 in 1:1 loop (73) [----] [RECD] (2) initialStep.outPort[$i1].node = initialStep.connectorNode.node ($RES_SIM_163) (73) [----] end for; (74) [SCAL] (1) step1.inport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step1.inPort.fire) ($RES_$AUX_249) (75) [SCAL] (1) step1.outport_fire = Modelica_StateGraph2.Blocks.BooleanFunctions.anyTrue(step1.outPort.fire) ($RES_$AUX_248) (76) [SCAL] (1) initialStep.connectorNode.node.resume = false ($RES_SIM_164) (77) [SCAL] (1) initialStep.connectorNode.node.suspend = false ($RES_SIM_165) (78) [SCAL] (1) set1.firstActiveIndex = Modelica_StateGraph2.Blocks.BooleanFunctions.firstTrueIndex(set1.u) ($RES_$AUX_246) (79) [FOR-] (2) ($RES_SIM_168) (79) [----] for $i1 in 1:1 loop (79) [----] [RECD] (2) initialStep.inPort[$i1].node = initialStep.connectorNode.node ($RES_SIM_169) (79) [----] end for; (80) [SCAL] (1) T4.outPort.fire = $SEV_6 ($RES_SIM_53) (81) [WHEN] (1)when T4.enableFire then (81) [----] T4.t_start := time (81) [----] end when; (82) [SCAL] (1) T4.enableFire = T4.inPort.available ($RES_SIM_55) (83) [SCAL] (1) step4.outPort[1].fire = true ($RES_SIM_57) (84) [SCAL] (1) initialStep.outPort[1].available = $SEV_19 ($RES_SIM_172) (85) [WHEN] (1)when initialStep.connectorNode.node.suspend then (85) [----] initialStep.oldActive := initialStep.activePort (85) [----] end when; (86) [SCAL] (1) initialStep.activePort = $TEV_16 ($RES_SIM_174) (87) [SCAL] (1) initialStep.newActive = if initialStep.connectorNode.node.resume then initialStep.oldActive else $SEV_20 ($RES_SIM_175) (88) [SCAL] (1) step2.activePort = set1.u[2] ($RES_SIM_179) (89) [SCAL] (1) $TEV_0 = $PRE.set1.y ($RES_EVT_262) (90) [SCAL] (1) $TEV_1 = $PRE.add1.y ($RES_EVT_263) (91) [SCAL] (1) $TEV_2 = $PRE.T5.t_start ($RES_EVT_264) (92) [SCAL] (1) $TEV_3 = $PRE.T5.enableFire ($RES_EVT_265) (93) [SCAL] (1) $TEV_4 = $PRE.T4.t_start ($RES_EVT_266) (94) [SCAL] (1) $TEV_5 = $PRE.T4.enableFire ($RES_EVT_267) (95) [SCAL] (1) $TEV_6 = $PRE.T3.t_start ($RES_EVT_268) (96) [SCAL] (1) $TEV_7 = $PRE.T3.enableFire ($RES_EVT_269) (97) [SCAL] (1) step4.inPort[1].fire = true ($RES_SIM_60) (98) [FOR-] (2) ($RES_SIM_102) (98) [----] for $i1 in 1:1 loop (98) [----] [RECD] (2) step3.inPort[$i1].node = step3.connectorNode.node ($RES_SIM_103) (98) [----] end for; (99) [FOR-] (2) ($RES_SIM_66) (99) [----] for $i1 in 1:1 loop (99) [----] [RECD] (2) step4.outPort[$i1].node = step4.connectorNode.node ($RES_SIM_67) (99) [----] end for; (100) [SCAL] (1) step3.outPort[1].available = $SEV_11 ($RES_SIM_106) (101) [SCAL] (1) initialStep.activePort = set1.u[1] ($RES_SIM_180) (102) [WHEN] (1)when step3.connectorNode.node.suspend then (102) [----] step3.oldActive := step3.activePort (102) [----] end when; (103) [SCAL] (1) step3.activePort = $TEV_14 ($RES_SIM_108) (104) [SCAL] (1) step3.newActive = if step3.connectorNode.node.resume then step3.oldActive else $SEV_12 ($RES_SIM_109) (105) [SCAL] (1) step1.outPort[1].node.resume = T3.inPort.node.resume ($RES_SIM_183) (106) [SCAL] (1) step1.outPort[1].node.suspend = T3.inPort.node.suspend ($RES_SIM_184) (107) [SCAL] (1) step1.outPort[1].fire = T3.outPort.fire ($RES_SIM_185) (108) [SCAL] (1) step1.outPort[1].available = T3.inPort.available ($RES_SIM_187) (109) [SCAL] (1) T5.outPort.node.resume = step1.inPort[1].node.resume ($RES_SIM_188) (110) [SCAL] (1) T5.outPort.node.suspend = step1.inPort[1].node.suspend ($RES_SIM_189) (111) [SCAL] (1) $TEV_8 = $PRE.T2.t_start ($RES_EVT_270) (112) [SCAL] (1) $TEV_9 = $PRE.T2.enableFire ($RES_EVT_271) (113) [SCAL] (1) $TEV_10 = $PRE.T1.t_start ($RES_EVT_272) (114) [SCAL] (1) $TEV_11 = $PRE.T1.enableFire ($RES_EVT_273) (115) [SCAL] (1) $TEV_12 = $PRE.step1.newActive ($RES_EVT_274) (116) [SCAL] (1) $TEV_13 = $PRE.step4.newActive ($RES_EVT_275) (117) [SCAL] (1) $TEV_14 = $PRE.step3.newActive ($RES_EVT_276) (118) [SCAL] (1) $TEV_15 = $PRE.step2.newActive ($RES_EVT_277) (119) [SCAL] (1) $TEV_16 = $PRE.initialStep.newActive ($RES_EVT_278) (120) [SCAL] (1) $SEV_0 = set1.firstActiveIndex > 0 ($RES_EVT_279) (121) [ARRY] (2) set1.expr = {11, 12} ($RES_BND_245) (122) [FOR-] (2) ($RES_SIM_70) (122) [----] for $i1 in 1:1 loop (122) [----] [RECD] (2) step4.inPort[$i1].node = step4.connectorNode.node ($RES_SIM_71) (122) [----] end for; (123) [RECD] (2) T2.outPort.node = T2.inPort.node ($RES_SIM_113) (124) [SCAL] (1) step4.outPort[1].available = $SEV_7 ($RES_SIM_74) (125) [WHEN] (1)when step4.connectorNode.node.suspend then (125) [----] step4.oldActive := step4.active (125) [----] end when; (126) [SCAL] (1) step4.active = $TEV_13 ($RES_SIM_76) (127) [SCAL] (1) step4.newActive = if step4.connectorNode.node.resume then step4.oldActive else $SEV_8 ($RES_SIM_77) (128) [SCAL] (1) T5.outPort.fire = step1.inPort[1].fire ($RES_SIM_190) (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) T2.enableFire = T2.inPort.available ($RES_SIM_119) (132) [SCAL] (1) step4.outPort[1].node.resume = T5.inPort.node.resume ($RES_SIM_193) (133) [SCAL] (1) step4.outPort[1].node.suspend = T5.inPort.node.suspend ($RES_SIM_194) (134) [SCAL] (1) step4.outPort[1].fire = T5.outPort.fire ($RES_SIM_195) (135) [SCAL] (1) step4.outPort[1].available = T5.inPort.available ($RES_SIM_197) (136) [SCAL] (1) T4.outPort.node.resume = step4.inPort[1].node.resume ($RES_SIM_198) (137) [SCAL] (1) T4.outPort.node.suspend = step4.inPort[1].node.suspend ($RES_SIM_199) (138) [SCAL] (1) $SEV_1 = step1.activePort and not step1.connectorNode.node.suspend ($RES_EVT_280) (139) [SCAL] (1) $SEV_2 = step1.inport_fire or (step1.activePort and not step1.outport_fire) and not step1.connectorNode.node.suspend ($RES_EVT_281) (140) [SCAL] (1) $SEV_4 = T5.enableFire and time >= (T5.t_start + T5.waitTime) ($RES_EVT_283) (141) [SCAL] (1) $SEV_6 = T4.enableFire and time >= (T4.t_start + T4.waitTime) ($RES_EVT_285) (142) [SCAL] (1) $SEV_7 = step4.active and not step4.connectorNode.node.suspend ($RES_EVT_286) (143) [SCAL] (1) $SEV_8 = step4.inport_fire or (step4.active and not step4.outport_fire) and not step4.connectorNode.node.suspend ($RES_EVT_287) (144) [SCAL] (1) T4.outPort.fire = step4.inPort[1].fire ($RES_SIM_200) (145) [SCAL] (1) $SEV_10 = T3.enableFire and time >= (T3.t_start + T3.waitTime) ($RES_EVT_289) (146) [SCAL] (1) step3.outPort[1].node.resume = T4.inPort.node.resume ($RES_SIM_203)