Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_latest_Buildings.Controls.OBC.CDL.Logical.Validation.VariablePulseMinHold.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/Buildings 11.0.1-master/package.mo", uses=false) Using package Buildings with version 11.0.1 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/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(Buildings.Controls.OBC.CDL.Logical.Validation.VariablePulseMinHold,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|conChaWid.u|conChaWid.y",fileNamePrefix="Buildings_latest_Buildings.Controls.OBC.CDL.Logical.Validation.VariablePulseMinHold") translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.VariablePulseMinHold,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|conChaWid.u|conChaWid.y",fileNamePrefix="Buildings_latest_Buildings.Controls.OBC.CDL.Logical.Validation.VariablePulseMinHold") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001013/0.001013, allocations: 105.2 kB / 16.42 MB, free: 6.52 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.001078/0.001079, allocations: 192.3 kB / 17.36 MB, free: 5.727 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.161/1.161, allocations: 222.9 MB / 241 MB, free: 15.16 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.0.1-master/package.mo): time 2.199/2.199, allocations: 461.9 MB / 0.7354 GB, free: 11.14 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.07e-05/1.073e-05, allocations: 4.391 kB / 1.055 GB, free: 7.797 MB / 0.8262 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.VariablePulseMinHold): time 0.002771/0.002798, allocations: 2.458 MB / 1.057 GB, free: 5.328 MB / 0.8262 GB Notification: Performance of NFInst.instExpressions: time 0.001525/0.004335, allocations: 1.149 MB / 1.058 GB, free: 4.176 MB / 0.8262 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0001387/0.004484, allocations: 11.94 kB / 1.058 GB, free: 4.164 MB / 0.8262 GB Notification: Performance of NFTyping.typeComponents: time 0.0001652/0.004655, allocations: 67.22 kB / 1.058 GB, free: 4.098 MB / 0.8262 GB Notification: Performance of NFTyping.typeBindings: time 0.0001471/0.004809, allocations: 75.25 kB / 1.058 GB, free: 4.023 MB / 0.8262 GB Notification: Performance of NFTyping.typeClassSections: time 0.000778/0.005598, allocations: 489.8 kB / 1.059 GB, free: 3.547 MB / 0.8262 GB Notification: Performance of NFFlatten.flatten: time 0.0006911/0.006296, allocations: 0.9208 MB / 1.06 GB, free: 2.625 MB / 0.8262 GB Notification: Performance of NFFlatten.resolveConnections: time 0.0005729/0.006876, allocations: 0.6099 MB / 1.06 GB, free: 2.008 MB / 0.8262 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0002787/0.007162, allocations: 371 kB / 1.061 GB, free: 1.645 MB / 0.8262 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0002925/0.007461, allocations: 338.7 kB / 1.061 GB, free: 1.312 MB / 0.8262 GB Notification: Performance of NFPackage.collectConstants: time 0.0001184/0.007588, allocations: 120 kB / 1.061 GB, free: 1.195 MB / 0.8262 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0001577/0.007751, allocations: 136 kB / 1.061 GB, free: 1.062 MB / 0.8262 GB Notification: Performance of combineBinaries: time 0.0005077/0.008266, allocations: 0.9278 MB / 1.062 GB, free: 128 kB / 0.8262 GB Notification: Performance of replaceArrayConstructors: time 0.0002354/0.008508, allocations: 0.5157 MB / 1.063 GB, free: 15.6 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.0001011/0.008614, allocations: 115.7 kB / 1.063 GB, free: 15.48 MB / 0.8419 GB Notification: Performance of FrontEnd: time 8.351e-05/0.008703, allocations: 67.55 kB / 1.063 GB, free: 15.42 MB / 0.8419 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 146 (140) * Number of variables: 138 (132) Notification: Performance of Bindings: time 0.002339/0.01105, allocations: 2.972 MB / 1.066 GB, free: 12.32 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.0001721/0.01123, allocations: 199.5 kB / 1.066 GB, free: 12.13 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.002125/0.01336, allocations: 2.705 MB / 1.069 GB, free: 9.387 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0001454/0.01351, allocations: 123.8 kB / 1.069 GB, free: 9.266 MB / 0.8419 GB Notification: Performance of Alias: time 0.003365/0.01689, allocations: 3.737 MB / 1.072 GB, free: 5.262 MB / 0.8419 GB Notification: Performance of simplify2: time 8.131e-05/0.01698, allocations: 87.89 kB / 1.072 GB, free: 5.176 MB / 0.8419 GB Notification: Performance of Events: time 0.0006479/0.01763, allocations: 0.6191 MB / 1.073 GB, free: 4.555 MB / 0.8419 GB Notification: Performance of Detect States: time 0.0007828/0.01842, allocations: 1.014 MB / 1.074 GB, free: 3.527 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.0006508/0.01908, allocations: 0.7419 MB / 1.075 GB, free: 2.738 MB / 0.8419 GB Error: Internal error NBSorting.SuperNode.getEqnIndices failed because elements should not be accessed, only their parents: [109] scalar element of (123) Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (96/106) ******************************** (1) [ALGB] (1) protected flow Real conChaWid.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (2) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue1.outPort.set (3) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue.outPort.occupied (4) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue1.outPort.occupied (5) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse1.outPort.set (6) [DISS] (1) protected Boolean conPul1.booPul.y (7) [DISS] (1) protected Boolean conChaWid.truFalHol.onDel1.y (8) [DISC] (1) protected Integer conChaWid.truFalHol.stateGraphRoot.activeSteps (9) [ALGB] (1) protected flow Real conChaWid.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (10) [ALGB] (1) protected Real conChaWid.sub.y (11) [ALGB] (1) protected flow Real conChaWid.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (12) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.initialStep.outPort.available (13) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.outputTrue.inPort.set (14) [DISS] (1) protected Real conChaWid.truFalHol.onDel1.t_next (15) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse1.inPort.available (16) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse1.outPort.occupied (17) [DISC] (1) protected Boolean[1] conChaWid.truFalHol.outputFalse.outPort.available (18) [DISC] (2) Boolean[2] $SEV_6[$i1] (19) [DISC] (1) protected final Boolean conChaWid.truFalHol.toFalse.localCondition = conChaWid.truFalHol.toFalse.localCondition (20) [ALGB] (1) protected Real conChaWid.abs1.y (21) [DISC] (1) Boolean $FUN_7 (22) [DISC] (1) Boolean $SEV_21 (23) [DISC] (1) Boolean $FUN_5 (24) [DISC] (1) Boolean $SEV_20 (25) [DISC] (1) protected final Boolean conChaWid.truFalHol.toTrue1.localCondition = conChaWid.truFalHol.toTrue1.localCondition (26) [DISC] (1) Boolean $FUN_4 (27) [DISC] (1) Boolean $TEV_34 (28) [DISC] (1) Boolean $FUN_3 (29) [DISC] (1) Boolean $TEV_33 (30) [DISC] (1) Boolean $FUN_2 (31) [DISC] (1) Boolean $TEV_32 (32) [DISC] (1) Boolean $TEV_31 (33) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.outputFalse.inPort.occupied (34) [DISC] (1) Boolean $TEV_30 (35) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse.outPort.occupied (36) [ALGB] (1) protected Real conChaWid.cycOut.t_end (fixed = false) (37) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse.outPort.set (38) [DISS] (1) protected Real conChaWid.truFalHol.onDel2.t_next (39) [DISS] (1) protected discrete Real conChaWid.cycOut.t0 (fixed = false) (40) [DISC] (1) Boolean $SEV_19 (41) [DISC] (1) Boolean $SEV_18 (42) [DISC] (1) Boolean $SEV_17 (43) [DISS] (1) protected Boolean conChaWid.truFalHol.onDel2.y (44) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.initialStep.outPort.reset (45) [DISC] (1) Boolean $SEV_16 (46) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse.inPort.available (47) [DISC] (1) protected Boolean[1] conChaWid.truFalHol.outputFalse.outPort.reset (48) [DISC] (1) Boolean $SEV_14 (49) [DISC] (1) Boolean $TEV_29 (50) [DISC] (1) Boolean $SEV_13 (51) [DISC] (1) Boolean $TEV_28 (52) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue.outPort.set (53) [DISC] (1) protected Boolean conChaWid.truFalHol.outputFalse.outerStatePort.localActive = conChaWid.truFalHol.outputFalse.outerStatePort.localActive (54) [DISC] (1) Boolean $TEV_27 (55) [DISC] (1) Boolean $SEV_11 (56) [DISC] (1) Boolean $TEV_26 (57) [DISC] (1) Boolean $SEV_10 (58) [DISC] (1) Boolean $TEV_24 (59) [DISS] (1) protected Boolean conChaWid.truFalHol.initialStep.oldActive (60) [DISC] (1) Boolean $TEV_23 (61) [DISC] (1) Boolean $TEV_22 (62) [DISC] (1) Boolean $TEV_21 (63) [DISC] (1) protected Boolean conChaWid.truFalHol.outputTrue.outerStatePort.localActive = conChaWid.truFalHol.outputTrue.outerStatePort.localActive (64) [DISC] (1) protected Boolean conChaWid.truFalHol.initialStep.newActive (65) [DISC] (1) protected Boolean conChaWid.truFalHol.outputTrue.newActive (66) [DISC] (1) Boolean $SEV_9 (67) [DISC] (1) Boolean $SEV_8 (68) [DISC] (1) protected Boolean conChaWid.preBre.y (69) [DISC] (1) protected Boolean[1] conChaWid.truFalHol.outputTrue.outPort.reset (70) [DISC] (1) Boolean $SEV_5 (71) [DISC] (1) Boolean $SEV_4 (72) [DISC] (1) protected Boolean conChaWid.truFalHol.outputFalse.newActive (73) [DISS] (1) protected Boolean conChaWid.truFalHol.outputTrue.oldActive (74) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.outputFalse.inPort.set (75) [DISC] (1) Boolean $TEV_19 (76) [DISS] (1) protected Real conChaWid.triSam.y (77) [DISC] (1) Boolean $TEV_18 (78) [DISC] (1) Boolean $TEV_17 (79) [ALGB] (1) protected Real conChaWid.cycOut.t_sta (fixed = false) (80) [DISC] (1) Boolean $TEV_16 (81) [DISS] (1) protected Boolean conChaWid.truFalHol.outputFalse.oldActive (82) [ALGB] (1) protected Real conChaWid.triSam.u (83) [DISC] (1) Boolean $TEV_14 (84) [DISC] (1) protected final Boolean conChaWid.truFalHol.toTrue.localCondition = conChaWid.truFalHol.toTrue.localCondition (85) [DISC] (2) Boolean[2] $SEV_12[$i1] (86) [DISC] (1) Boolean $TEV_12 (87) [DISC] (1) protected Boolean[1] conChaWid.truFalHol.outputTrue.outPort.available (88) [DISC] (1) protected Boolean conChaWid.truFalHol.initialStep.outerStatePort.localActive = conChaWid.truFalHol.initialStep.outerStatePort.localActive (89) [ALGB] (1) protected flow Real conChaWid.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (90) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.outputTrue.inPort.occupied (91) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue1.inPort.available (92) [DISC] (1) protected Boolean conChaWid.edg2.u (93) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue.inPort.available (94) [DISC] (2) Boolean[2] $SEV_15[$i1] (95) [DISC] (1) protected Boolean conChaWid.edg2.y (96) [DISC] (2) Boolean[2] $SEV_7[$i1] system eqns Equations (104/114) ********************************* (1) [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[1].available = conChaWid.truFalHol.toTrue1.inPort.available ($RES_SIM_132) (2) [SCAL] (1) conChaWid.truFalHol.initialStep.newActive = $SEV_8 ($RES_SIM_50) (3) [SCAL] (1) conChaWid.truFalHol.toFalse1.outPort.set = conChaWid.truFalHol.outputFalse.inPort[2].set ($RES_SIM_133) (4) [SCAL] (1) conChaWid.truFalHol.initialStep.outerStatePort.localActive = $TEV_18 ($RES_SIM_51) (5) [SCAL] (1) conChaWid.truFalHol.toFalse1.outPort.occupied = conChaWid.truFalHol.outputFalse.inPort[2].occupied ($RES_SIM_134) (6) [SCAL] (1) conChaWid.truFalHol.toTrue.outPort.set = conChaWid.truFalHol.outputTrue.inPort[2].set ($RES_SIM_135) (7) [SCAL] (1) conChaWid.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if conChaWid.truFalHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_53) (8) [SCAL] (1) conChaWid.truFalHol.toTrue.outPort.occupied = conChaWid.truFalHol.outputTrue.inPort[2].occupied ($RES_SIM_136) (9) [SCAL] (1) conChaWid.truFalHol.toTrue.localCondition = $SEV_9 ($RES_SIM_54) (10) [SCAL] (1) conChaWid.truFalHol.toTrue1.outPort.set = conChaWid.truFalHol.outputTrue.inPort[1].set ($RES_SIM_137) (11) [SCAL] (1) conChaWid.truFalHol.outputFalse.outerStatePort.localActive = $TEV_28 ($RES_SIM_90) (12) [SCAL] (1) conChaWid.truFalHol.toFalse.localCondition = $SEV_10 ($RES_SIM_55) (13) [SCAL] (1) conChaWid.truFalHol.toTrue1.outPort.occupied = conChaWid.truFalHol.outputTrue.inPort[1].occupied ($RES_SIM_138) (14) [SCAL] (1) conChaWid.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if conChaWid.truFalHol.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_92) (15) [SCAL] (1) conChaWid.truFalHol.toFalse.outPort.set = $SEV_11 ($RES_SIM_58) (16) [SCAL] (1) conChaWid.truFalHol.stateGraphRoot.activeSteps = -integer(conChaWid.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_96) (17) [WHEN] (1)when $SEV_17 then (17) [----] conChaWid.truFalHol.onDel2.y := conChaWid.truFalHol.outputTrue.outerStatePort.localActive (17) [----] else when not conChaWid.truFalHol.outputTrue.outerStatePort.localActive then (17) [----] conChaWid.truFalHol.onDel2.y := false (17) [----] else when conChaWid.truFalHol.outputTrue.outerStatePort.localActive then (17) [----] conChaWid.truFalHol.onDel2.y := not conChaWid.truFalHol.onDel2.delayTime > 0.0 (17) [----] else when initial() then (17) [----] conChaWid.truFalHol.onDel2.y := if not (conChaWid.truFalHol.onDel2.delayOnInit and conChaWid.truFalHol.onDel2.delayTime > 0.0) then conChaWid.truFalHol.outputTrue.outerStatePort.localActive else false (17) [----] end when; (18) [WHEN] (1)when $SEV_17 then (18) [----] conChaWid.truFalHol.onDel2.t_next := conChaWid.truFalHol.onDel2.t_past (18) [----] else when not conChaWid.truFalHol.outputTrue.outerStatePort.localActive then (18) [----] conChaWid.truFalHol.onDel2.t_next := conChaWid.truFalHol.onDel2.t_past (18) [----] else when conChaWid.truFalHol.outputTrue.outerStatePort.localActive then (18) [----] conChaWid.truFalHol.onDel2.t_next := time + conChaWid.truFalHol.onDel2.delayTime (18) [----] else when initial() then (18) [----] conChaWid.truFalHol.onDel2.t_next := if not conChaWid.truFalHol.onDel2.delayOnInit then conChaWid.truFalHol.onDel2.t_past else time + conChaWid.truFalHol.onDel2.delayTime (18) [----] end when; (19) [WHEN] (1)when $SEV_18 then (19) [----] conChaWid.truFalHol.onDel1.t_next := conChaWid.truFalHol.onDel1.t_past (19) [----] else when not conChaWid.truFalHol.outputFalse.outerStatePort.localActive then (19) [----] conChaWid.truFalHol.onDel1.t_next := conChaWid.truFalHol.onDel1.t_past (19) [----] else when conChaWid.truFalHol.outputFalse.outerStatePort.localActive then (19) [----] conChaWid.truFalHol.onDel1.t_next := time + conChaWid.truFalHol.onDel1.delayTime (19) [----] else when initial() then (19) [----] conChaWid.truFalHol.onDel1.t_next := if not conChaWid.truFalHol.onDel1.delayOnInit then conChaWid.truFalHol.onDel1.t_past else time + conChaWid.truFalHol.onDel1.delayTime (19) [----] end when; (20) [FOR-] (2) ($RES_EVT_210) (20) [----] for $i1 in 1:2 loop (20) [----] [SCAL] (1) $SEV_7[$i1] = conChaWid.truFalHol.initialStep.outPort[$i1 - 1].available and not conChaWid.truFalHol.initialStep.outPort[$i1 - 1].reset ($RES_EVT_211) (20) [----] end for; (21) [SCAL] (1) $SEV_8 = conChaWid.truFalHol.initialStep.outerStatePort.localActive and not $FUN_7 ($RES_EVT_212) (22) [SCAL] (1) $SEV_9 = conChaWid.truFalHol.onDel1.y and conChaWid.truFalHol.toTrue1.localCondition ($RES_EVT_213) (23) [SCAL] (1) $SEV_10 = conChaWid.truFalHol.onDel2.y and not conChaWid.truFalHol.toTrue1.localCondition ($RES_EVT_214) (24) [SCAL] (1) $SEV_11 = (conChaWid.truFalHol.toFalse.localCondition and conChaWid.truFalHol.toFalse.inPort.available) and not conChaWid.truFalHol.toFalse.outPort.occupied ($RES_EVT_215) (25) [FOR-] (2) ($RES_EVT_216) (25) [----] for $i1 in 1:2 loop (25) [----] [SCAL] (1) $SEV_12[$i1] = conChaWid.truFalHol.outputTrue.inPort[$i1 - 1].occupied or conChaWid.truFalHol.outputTrue.inPort[$i1 - 1].set ($RES_EVT_217) (25) [----] end for; (26) [SCAL] (1) $SEV_13 = $FUN_4 or conChaWid.truFalHol.outputTrue.outerStatePort.localActive and not $FUN_5 ($RES_EVT_218) (27) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(conChaWid.truFalHol.outputFalse.outPort.reset) ($RES_$AUX_179) (28) [SCAL] (1) $SEV_14 = (conChaWid.truFalHol.toTrue.localCondition and conChaWid.truFalHol.toTrue.inPort.available) and not conChaWid.truFalHol.toTrue.outPort.occupied ($RES_EVT_219) (29) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(conChaWid.truFalHol.outputTrue.inPort.set) ($RES_$AUX_178) (30) [SCAL] (1) $FUN_5 = Modelica.Math.BooleanVectors.anyTrue(conChaWid.truFalHol.outputTrue.outPort.reset) ($RES_$AUX_177) (31) [WHEN] (1)when $SEV_18 then (31) [----] conChaWid.truFalHol.onDel1.y := conChaWid.truFalHol.outputFalse.outerStatePort.localActive (31) [----] else when not conChaWid.truFalHol.outputFalse.outerStatePort.localActive then (31) [----] conChaWid.truFalHol.onDel1.y := false (31) [----] else when conChaWid.truFalHol.outputFalse.outerStatePort.localActive then (31) [----] conChaWid.truFalHol.onDel1.y := not conChaWid.truFalHol.onDel1.delayTime > 0.0 (31) [----] else when initial() then (31) [----] conChaWid.truFalHol.onDel1.y := if not (conChaWid.truFalHol.onDel1.delayOnInit and conChaWid.truFalHol.onDel1.delayTime > 0.0) then conChaWid.truFalHol.outputFalse.outerStatePort.localActive else false (31) [----] end when; (32) [SCAL] (1) conChaWid.truFalHol.toTrue1.localCondition = $SEV_19 ($RES_SIM_101) (33) [SCAL] (1) $FUN_7 = Modelica.Math.BooleanVectors.anyTrue(conChaWid.truFalHol.initialStep.outPort.reset) ($RES_$AUX_175) (34) [SCAL] (1) conChaWid.cycOut.t_end = conChaWid.cycOut.t_sta + conChaWid.triSam.u * conChaWid.cycOut.period ($RES_SIM_102) (35) [SCAL] (1) conChaWid.cycOut.t_sta = conChaWid.cycOut.t0 + (if $SEV_20 then 1e-6 * floor(0.5 + 1e6 * conChaWid.cycOut.period * integer((time - conChaWid.cycOut.t0) / conChaWid.cycOut.period)) else 1e-6 * ceil((-0.5) + 1e6 * conChaWid.cycOut.period * integer((time - conChaWid.cycOut.t0) / conChaWid.cycOut.period))) ($RES_SIM_103) (36) [WHEN] (1)when conChaWid.edg2.y then (36) [----] conChaWid.cycOut.t0 := time (36) [----] end when; (37) [SCAL] (1) conChaWid.preBre.y = $TEV_32 ($RES_SIM_105) (38) [SCAL] (1) conChaWid.edg2.y = edge(conChaWid.edg2.u) ($RES_SIM_106) (39) [SCAL] (1) conChaWid.edg2.u = $SEV_21 ($RES_SIM_107) (40) [SCAL] (1) conChaWid.sub.y = conChaWid.triSam.y - conChaWid.triSam.u ($RES_SIM_109) (41) [SCAL] (1) conChaWid.truFalHol.outputTrue.outPort[1].reset = false ($RES_SIM_63) (42) [FOR-] (2) ($RES_SIM_64) (42) [----] for $i1 in 1:2 loop (42) [----] [SCAL] (1) conChaWid.truFalHol.outputTrue.inPort[$i1].set = false ($RES_SIM_65) (42) [----] end for; (43) [SCAL] (1) conChaWid.triSam.u = if conPul1.booPul.y then conPul1.booToRea.realTrue else conPul1.booToRea.realFalse ($RES_SIM_29) (44) [SCAL] (1) conChaWid.truFalHol.toFalse.outPort.set = conChaWid.truFalHol.outputFalse.inPort[1].set ($RES_SIM_147) (45) [SCAL] (1) conChaWid.truFalHol.outputTrue.outPort[1].available = conChaWid.truFalHol.outputTrue.outerStatePort.localActive ($RES_SIM_66) (46) [SCAL] (1) conChaWid.truFalHol.toFalse.outPort.occupied = conChaWid.truFalHol.outputFalse.inPort[1].occupied ($RES_SIM_148) (47) [FOR-] (2) ($RES_SIM_67) (47) [----] for $i1 in 1:2 loop (47) [----] [SCAL] (1) conChaWid.truFalHol.outputTrue.inPort[$i1].occupied = if $SEV_6[$i1] then conChaWid.truFalHol.outputTrue.outerStatePort.localActive else $SEV_12[$i1] ($RES_SIM_68) (47) [----] end for; (48) [SCAL] (1) conChaWid.truFalHol.outputFalse.outPort[1].reset = conChaWid.truFalHol.toTrue.outPort.set ($RES_SIM_149) (49) [WHEN] (1)when false then (49) [----] conChaWid.truFalHol.outputTrue.oldActive := conChaWid.truFalHol.outputTrue.outerStatePort.localActive (49) [----] end when; (50) [FOR-] (2) ($RES_EVT_220) (50) [----] for $i1 in 1:2 loop (50) [----] [SCAL] (1) $SEV_15[$i1] = conChaWid.truFalHol.outputFalse.inPort[$i1 - 1].occupied or conChaWid.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_221) (50) [----] end for; (51) [SCAL] (1) $TEV_12 = $PRE.conChaWid.truFalHol.toFalse1.outPort.set ($RES_EVT_182) (52) [SCAL] (1) $SEV_16 = $FUN_2 or conChaWid.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_3 ($RES_EVT_222) (53) [SCAL] (1) $TEV_14 = $PRE.conChaWid.truFalHol.toTrue1.outPort.set ($RES_EVT_184) (54) [SCAL] (1) $SEV_17 = time >= $PRE.conChaWid.truFalHol.onDel2.t_next ($RES_EVT_223) (55) [SCAL] (1) $SEV_18 = time >= $PRE.conChaWid.truFalHol.onDel1.t_next ($RES_EVT_224) (56) [SCAL] (1) $TEV_16 = $PRE.conChaWid.truFalHol.initialStep.oldActive ($RES_EVT_186) (57) [SCAL] (1) $SEV_19 = time >= conChaWid.cycOut.t_sta and time < conChaWid.cycOut.t_end ($RES_EVT_225) (58) [SCAL] (1) $TEV_17 = $PRE.conChaWid.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_187) (59) [SCAL] (1) $SEV_20 = conChaWid.cycOut.period * integer((time - conChaWid.cycOut.t0) / conChaWid.cycOut.period) > 0.0 ($RES_EVT_226) (60) [SCAL] (1) $TEV_18 = $PRE.conChaWid.truFalHol.initialStep.newActive ($RES_EVT_188) (61) [SCAL] (1) $SEV_21 = conChaWid.abs1.y > conChaWid.greThr.greNoHys.t ($RES_EVT_227) (62) [SCAL] (1) $TEV_19 = $PRE.conChaWid.truFalHol.toFalse.outPort.set ($RES_EVT_189) (63) [WHEN] (1)when conChaWid.preBre.y then (63) [----] conChaWid.triSam.y := conChaWid.triSam.u (63) [----] end when; (64) [SCAL] (1) conChaWid.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps + conChaWid.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + conChaWid.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + conChaWid.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_111) (65) [WHEN] (1)when $TEV_33 then (65) [----] conPul1.booPul.y := false (65) [----] else when $TEV_34 then (65) [----] conPul1.booPul.y := true (65) [----] end when; (66) [SCAL] (1) conChaWid.truFalHol.outputFalse.outPort[1].available = conChaWid.truFalHol.toTrue.inPort.available ($RES_SIM_150) (67) [SCAL] (1) conChaWid.truFalHol.toFalse1.outPort.set = $SEV_4 ($RES_SIM_33) (68) [SCAL] (1) conChaWid.truFalHol.outputTrue.newActive = $SEV_13 ($RES_SIM_70) (69) [SCAL] (1) conChaWid.truFalHol.outputTrue.outPort[1].reset = conChaWid.truFalHol.toFalse.outPort.set ($RES_SIM_153) (70) [SCAL] (1) conChaWid.truFalHol.outputTrue.outerStatePort.localActive = $TEV_23 ($RES_SIM_71) (71) [SCAL] (1) conChaWid.truFalHol.outputTrue.outPort[1].available = conChaWid.truFalHol.toFalse.inPort.available ($RES_SIM_154) (72) [SCAL] (1) conChaWid.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if conChaWid.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_73) (73) [SCAL] (1) conChaWid.truFalHol.toTrue.outPort.set = $SEV_14 ($RES_SIM_77) (74) [SCAL] (1) $TEV_21 = $PRE.conChaWid.truFalHol.outputTrue.oldActive ($RES_EVT_191) (75) [SCAL] (1) $TEV_22 = $PRE.conChaWid.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_192) (76) [SCAL] (1) $TEV_23 = $PRE.conChaWid.truFalHol.outputTrue.newActive ($RES_EVT_193) (77) [SCAL] (1) $TEV_24 = $PRE.conChaWid.truFalHol.toTrue.outPort.set ($RES_EVT_194) (78) [SCAL] (1) $TEV_26 = $PRE.conChaWid.truFalHol.outputFalse.oldActive ($RES_EVT_196) (79) [SCAL] (1) $TEV_27 = $PRE.conChaWid.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_197) (80) [SCAL] (1) $TEV_28 = $PRE.conChaWid.truFalHol.outputFalse.newActive ($RES_EVT_198) (81) [SCAL] (1) $TEV_29 = $PRE.conChaWid.truFalHol.onDel2.t_next ($RES_EVT_199) (82) [SCAL] (1) conChaWid.truFalHol.toTrue1.outPort.set = $SEV_5 ($RES_SIM_40) (83) [FOR-] (2) ($RES_SIM_45) (83) [----] for $i1 in 1:2 loop (83) [----] [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_46) (83) [----] end for; (84) [SCAL] (1) conChaWid.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_82) (85) [FOR-] (2) ($RES_SIM_47) (85) [----] for $i1 in 1:2 loop (85) [----] [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[$i1].available = if $SEV_6[$i1] then conChaWid.truFalHol.initialStep.outerStatePort.localActive else $SEV_7[$i1] ($RES_SIM_48) (85) [----] end for; (86) [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[2].reset = conChaWid.truFalHol.toFalse1.outPort.set ($RES_SIM_129) (87) [FOR-] (2) ($RES_SIM_83) (87) [----] for $i1 in 1:2 loop (87) [----] [SCAL] (1) conChaWid.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_84) (87) [----] end for; (88) [WHEN] (1)when false then (88) [----] conChaWid.truFalHol.initialStep.oldActive := conChaWid.truFalHol.initialStep.outerStatePort.localActive (88) [----] end when; (89) [SCAL] (1) conChaWid.truFalHol.outputFalse.outPort[1].available = conChaWid.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_85) (90) [FOR-] (2) ($RES_SIM_86) (90) [----] for $i1 in 1:2 loop (90) [----] [SCAL] (1) conChaWid.truFalHol.outputFalse.inPort[$i1].occupied = if $SEV_6[$i1] then conChaWid.truFalHol.outputFalse.outerStatePort.localActive else $SEV_15[$i1] ($RES_SIM_87) (90) [----] end for; (91) [WHEN] (1)when false then (91) [----] conChaWid.truFalHol.outputFalse.oldActive := conChaWid.truFalHol.outputFalse.outerStatePort.localActive (91) [----] end when; (92) [SCAL] (1) conChaWid.truFalHol.outputFalse.newActive = $SEV_16 ($RES_SIM_89) (93) [SCAL] (1) $TEV_30 = $PRE.conChaWid.truFalHol.onDel1.t_next ($RES_EVT_200) (94) [SCAL] (1) $TEV_31 = $PRE.conChaWid.cycOut.t0 ($RES_EVT_201) (95) [SCAL] (1) $TEV_32 = $PRE.conChaWid.edg2.u ($RES_EVT_202) (96) [SCAL] (1) $TEV_33 = sample(3, conPul1.booPul.t1, conPul1.booPul.period) ($RES_EVT_203) (97) [SCAL] (1) $TEV_34 = sample(4, conPul1.booPul.t0, conPul1.booPul.period) ($RES_EVT_204) (98) [SCAL] (1) $SEV_4 = (not conChaWid.truFalHol.toTrue1.localCondition and conChaWid.truFalHol.toFalse1.inPort.available) and not conChaWid.truFalHol.toFalse1.outPort.occupied ($RES_EVT_206) (99) [SCAL] (1) $SEV_5 = (conChaWid.truFalHol.toTrue1.localCondition and conChaWid.truFalHol.toTrue1.inPort.available) and not conChaWid.truFalHol.toTrue1.outPort.occupied ($RES_EVT_207) (100) [FOR-] (2) ($RES_EVT_208) (100) [----] for $i1 in 1:2 loop (100) [----] [SCAL] (1) $SEV_6[$i1] = $i1 == 1 ($RES_EVT_209) (100) [----] end for; (101) [SCAL] (1) conChaWid.abs1.y = abs(conChaWid.sub.y) ($RES_$AUX_181) (102) [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[2].available = conChaWid.truFalHol.toFalse1.inPort.available ($RES_SIM_130) (103) [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[1].reset = conChaWid.truFalHol.toTrue1.outPort.set ($RES_SIM_131) (104) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(conChaWid.truFalHol.outputFalse.inPort.set) ($RES_$AUX_180) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 14 var 2 --> eqn 10 var 3 --> eqn 8 var 4 --> eqn 13 var 5 --> eqn 93 var 6 --> eqn 70 var 7 --> eqn 33 var 8 --> eqn 16 var 9 --> eqn 69 var 10 --> eqn 42 var 11 --> eqn 7 var 12 --> eqn 91 var 13 --> eqn 92 var 14 --> eqn 44 var 15 --> eqn 45 var 16 --> eqn 19 var 17 --> eqn 112 var 18 --> eqn 5 var 19 --> eqn 97 var 20 --> eqn 109 var 21 --> eqn 110 var 22 --> eqn 12 var 23 --> eqn 111 var 24 --> eqn 35 var 25 --> eqn 66 var 26 --> eqn 32 var 27 --> eqn 64 var 28 --> eqn 34 var 29 --> eqn 31 var 30 --> eqn 106 var 31 --> eqn 29 var 32 --> eqn 105 var 33 --> eqn 114 var 34 --> eqn 104 var 35 --> eqn 103 var 36 --> eqn 98 var 37 --> eqn 99 var 38 --> eqn 102 var 39 --> eqn 49 var 40 --> eqn 36 var 41 --> eqn 15 var 42 --> eqn 18 var 43 --> eqn 38 var 44 --> eqn 62 var 45 --> eqn 60 var 46 --> eqn 59 var 47 --> eqn 17 var 48 --> eqn 88 var 49 --> eqn 89 var 50 --> eqn 57 var 51 --> eqn 76 var 52 --> eqn 52 var 53 --> eqn 30 var 54 --> eqn 86 var 55 --> eqn 28 var 56 --> eqn 85 var 57 --> eqn 6 var 58 --> eqn 11 var 59 --> eqn 84 var 60 --> eqn 25 var 61 --> eqn 83 var 62 --> eqn 24 var 63 --> eqn 82 var 64 --> eqn 96 var 65 --> eqn 81 var 66 --> eqn 80 var 67 --> eqn 79 var 68 --> eqn 75 var 69 --> eqn 2 var 70 --> eqn 73 var 71 --> eqn 23 var 72 --> eqn 22 var 73 --> eqn 39 var 74 --> eqn 43 var 75 --> eqn 87 var 76 --> eqn 72 var 77 --> eqn 101 var 78 --> eqn 53 var 79 --> eqn 47 var 80 --> eqn 3 var 81 --> eqn 67 var 82 --> eqn 68 var 83 --> eqn 65 var 84 --> eqn 63 var 85 --> eqn 37 var 86 --> eqn 61 var 87 --> eqn 100 var 88 --> eqn 46 var 89 --> eqn 58 var 90 --> eqn 9 var 91 --> eqn 26 var 92 --> eqn 27 var 93 --> eqn 56 var 94 --> eqn 48 var 95 --> eqn 4 var 96 --> eqn 77 var 97 --> eqn 50 var 98 --> eqn 51 var 99 --> eqn 1 var 100 --> eqn 41 var 101 --> eqn 71 var 102 --> eqn 54 var 103 --> eqn 55 var 104 --> eqn 40 var 105 --> eqn 20 var 106 --> eqn 21 equation to variable ********************** eqn 1 --> var 99 eqn 2 --> var 69 eqn 3 --> var 80 eqn 4 --> var 95 eqn 5 --> var 18 eqn 6 --> var 57 eqn 7 --> var 11 eqn 8 --> var 3 eqn 9 --> var 90 eqn 10 --> var 2 eqn 11 --> var 58 eqn 12 --> var 22 eqn 13 --> var 4 eqn 14 --> var 1 eqn 15 --> var 41 eqn 16 --> var 8 eqn 17 --> var 47 eqn 18 --> var 42 eqn 19 --> var 16 eqn 20 --> var 105 eqn 21 --> var 106 eqn 22 --> var 72 eqn 23 --> var 71 eqn 24 --> var 62 eqn 25 --> var 60 eqn 26 --> var 91 eqn 27 --> var 92 eqn 28 --> var 55 eqn 29 --> var 31 eqn 30 --> var 53 eqn 31 --> var 29 eqn 32 --> var 26 eqn 33 --> var 7 eqn 34 --> var 28 eqn 35 --> var 24 eqn 36 --> var 40 eqn 37 --> var 85 eqn 38 --> var 43 eqn 39 --> var 73 eqn 40 --> var 104 eqn 41 --> var 100 eqn 42 --> var 10 eqn 43 --> var 74 eqn 44 --> var 14 eqn 45 --> var 15 eqn 46 --> var 88 eqn 47 --> var 79 eqn 48 --> var 94 eqn 49 --> var 39 eqn 50 --> var 97 eqn 51 --> var 98 eqn 52 --> var 52 eqn 53 --> var 78 eqn 54 --> var 102 eqn 55 --> var 103 eqn 56 --> var 93 eqn 57 --> var 50 eqn 58 --> var 89 eqn 59 --> var 46 eqn 60 --> var 45 eqn 61 --> var 86 eqn 62 --> var 44 eqn 63 --> var 84 eqn 64 --> var 27 eqn 65 --> var 83 eqn 66 --> var 25 eqn 67 --> var 81 eqn 68 --> var 82 eqn 69 --> var 9 eqn 70 --> var 6 eqn 71 --> var 101 eqn 72 --> var 76 eqn 73 --> var 70 eqn 74 --> var -1 eqn 75 --> var 68 eqn 76 --> var 51 eqn 77 --> var 96 eqn 78 --> var -1 eqn 79 --> var 67 eqn 80 --> var 66 eqn 81 --> var 65 eqn 82 --> var 63 eqn 83 --> var 61 eqn 84 --> var 59 eqn 85 --> var 56 eqn 86 --> var 54 eqn 87 --> var 75 eqn 88 --> var 48 eqn 89 --> var 49 eqn 90 --> var -1 eqn 91 --> var 12 eqn 92 --> var 13 eqn 93 --> var 5 eqn 94 --> var -1 eqn 95 --> var -1 eqn 96 --> var 64 eqn 97 --> var 19 eqn 98 --> var 36 eqn 99 --> var 37 eqn 100 --> var 87 eqn 101 --> var 77 eqn 102 --> var 38 eqn 103 --> var 35 eqn 104 --> var 34 eqn 105 --> var 32 eqn 106 --> var 30 eqn 107 --> var -1 eqn 108 --> var -1 eqn 109 --> var 20 eqn 110 --> var 21 eqn 111 --> var 23 eqn 112 --> var 17 eqn 113 --> var -1 eqn 114 --> var 33