Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_11_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.1.0-maint.11.x/package.mo", uses=false) Using package Buildings with version 11.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.x/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_11_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_11_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.001095/0.001095, allocations: 112.1 kB / 16.43 MB, free: 6.473 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.001066/0.001066, allocations: 184.9 kB / 17.35 MB, free: 5.703 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.139/1.139, allocations: 222.9 MB / 241 MB, free: 15.1 MB / 206.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 11.1.0-maint.11.x/package.mo): time 2.18/2.18, allocations: 469.8 MB / 0.7432 GB, free: 3.375 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 9.839e-06/9.859e-06, allocations: 2.281 kB / 1.066 GB, free: 13.63 MB / 0.8419 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.VariablePulseMinHold): time 0.00283/0.00285, allocations: 2.463 MB / 1.068 GB, free: 11.15 MB / 0.8419 GB Notification: Performance of NFInst.instExpressions: time 0.001503/0.004365, allocations: 1.139 MB / 1.069 GB, free: 10.01 MB / 0.8419 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.00014/0.004515, allocations: 8 kB / 1.069 GB, free: 10 MB / 0.8419 GB Notification: Performance of NFTyping.typeComponents: time 0.0001743/0.004696, allocations: 67.2 kB / 1.069 GB, free: 9.934 MB / 0.8419 GB Notification: Performance of NFTyping.typeBindings: time 0.0001498/0.004857, allocations: 83.25 kB / 1.069 GB, free: 9.852 MB / 0.8419 GB Notification: Performance of NFTyping.typeClassSections: time 0.0007836/0.005655, allocations: 494.6 kB / 1.07 GB, free: 9.371 MB / 0.8419 GB Notification: Performance of NFFlatten.flatten: time 0.000715/0.006377, allocations: 0.9092 MB / 1.071 GB, free: 8.461 MB / 0.8419 GB Notification: Performance of NFFlatten.resolveConnections: time 0.0004772/0.006862, allocations: 492.7 kB / 1.071 GB, free: 7.973 MB / 0.8419 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0002602/0.00713, allocations: 363.1 kB / 1.072 GB, free: 7.617 MB / 0.8419 GB Notification: Performance of NFSimplifyModel.simplify: time 0.000292/0.007428, allocations: 342.7 kB / 1.072 GB, free: 7.281 MB / 0.8419 GB Notification: Performance of NFPackage.collectConstants: time 0.0001203/0.007555, allocations: 116 kB / 1.072 GB, free: 7.168 MB / 0.8419 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0001623/0.007722, allocations: 132 kB / 1.072 GB, free: 7.039 MB / 0.8419 GB Notification: Performance of combineBinaries: time 0.0005378/0.008267, allocations: 0.9395 MB / 1.073 GB, free: 6.09 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.0002256/0.008499, allocations: 0.5117 MB / 1.074 GB, free: 5.57 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.0001092/0.008613, allocations: 111.7 kB / 1.074 GB, free: 5.461 MB / 0.8419 GB Notification: Performance of FrontEnd: time 8.353e-05/0.008702, allocations: 71.53 kB / 1.074 GB, free: 5.391 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.00174/0.01045, allocations: 1.961 MB / 1.076 GB, free: 3.301 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.0001769/0.01063, allocations: 191.6 kB / 1.076 GB, free: 3.113 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.001651/0.01229, allocations: 1.893 MB / 1.078 GB, free: 1.184 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0003054/0.0126, allocations: 279.4 kB / 1.078 GB, free: 0.8789 MB / 0.8419 GB Notification: Performance of Alias: time 0.3876/0.4002, allocations: 2.184 MB / 1.08 GB, free: 16.95 MB / 0.8419 GB Notification: Performance of simplify2: time 0.0002088/0.4004, allocations: 199 kB / 1.08 GB, free: 16.89 MB / 0.8419 GB Notification: Performance of Detect States: time 0.0005011/0.4009, allocations: 0.5795 MB / 1.081 GB, free: 16.84 MB / 0.8419 GB Notification: Performance of Events: time 0.0005977/0.4015, allocations: 0.5582 MB / 1.081 GB, free: 16.78 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.000417/0.402, allocations: 485.3 kB / 1.082 GB, free: 16.62 MB / 0.8419 GB Error: Internal error NBSorting.SuperNode.getEqnIndices failed because elements should not be accessed, only their parents: [104] scalar element of (118) Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (91/101) ******************************** (1) [DISS] (1) protected Real conChaWid.triSam.y (2) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.outputFalse.inPort.set (3) [DISC] (1) protected Boolean conChaWid.truFalHol.outputTrue.newActive (4) [ALGB] (1) protected Real conChaWid.triSam.u (5) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue1.inPort.available (6) [DISC] (1) protected Boolean[1] conChaWid.truFalHol.outputFalse.outPort.available (7) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue.outPort.occupied (8) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse.outPort.occupied (9) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse1.inPort.available (10) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.outputFalse.inPort.occupied (11) [DISC] (1) protected final Boolean conChaWid.truFalHol.toTrue.localCondition = conChaWid.truFalHol.toTrue.localCondition (12) [DISC] (1) protected final Boolean conChaWid.truFalHol.toFalse.localCondition = conChaWid.truFalHol.toFalse.localCondition (13) [DISC] (1) protected Boolean conChaWid.truFalHol.outputFalse.outerStatePort.localActive = conChaWid.truFalHol.outputFalse.outerStatePort.localActive (14) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse.outPort.set (15) [ALGB] (1) protected flow Real conChaWid.truFalHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (16) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse1.outPort.set (17) [DISC] (1) protected final Boolean conChaWid.truFalHol.toTrue1.localCondition = conChaWid.truFalHol.toTrue1.localCondition (18) [DISC] (1) protected Boolean conChaWid.truFalHol.initialStep.newActive (19) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.outputTrue.inPort.occupied (20) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.initialStep.outPort.reset (21) [ALGB] (1) protected flow Real conChaWid.truFalHol.stateGraphRoot.subgraphStatePort.activeSteps (22) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue1.outPort.occupied (23) [ALGB] (1) protected flow Real conChaWid.truFalHol.outputFalse.outerStatePort.subgraphStatePort.activeSteps (24) [DISS] (1) protected discrete Real conChaWid.cycOut.t0 (fixed = false) (25) [ALGB] (1) protected flow Real conChaWid.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (26) [DISC] (1) protected Boolean conChaWid.truFalHol.initialStep.outerStatePort.localActive = conChaWid.truFalHol.initialStep.outerStatePort.localActive (27) [DISC] (2) Boolean[2] $SEV_6[$i1] (28) [DISS] (1) protected Boolean conPul1.booPul.y (29) [DISC] (1) Boolean $FUN_7 (30) [DISC] (1) Boolean $SEV_22 (31) [DISC] (1) Boolean $SEV_21 (32) [DISC] (1) Boolean $FUN_5 (33) [DISC] (1) Boolean $SEV_20 (34) [DISC] (1) Boolean $FUN_4 (35) [DISC] (1) Boolean $TEV_34 (36) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.initialStep.outPort.available (37) [DISC] (1) Boolean $FUN_3 (38) [DISC] (1) Boolean $TEV_33 (39) [DISC] (1) Boolean $FUN_2 (40) [DISC] (1) Boolean $TEV_32 (41) [ALGB] (1) protected Real conChaWid.sub.y (42) [DISC] (1) Real $TEV_31 (43) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue.outPort.set (44) [DISC] (1) Real $TEV_30 (45) [DISS] (1) protected Real conChaWid.truFalHol.onDel1.t_next (46) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue1.outPort.set (47) [ALGB] (1) protected Real conChaWid.cycOut.t_sta (fixed = false) (48) [DISC] (1) protected Integer conChaWid.truFalHol.stateGraphRoot.activeSteps (49) [ALGB] (1) protected Real conChaWid.cycOut.t_end (fixed = false) (50) [DISC] (1) protected Boolean[1] conChaWid.truFalHol.outputTrue.outPort.reset (51) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse.inPort.available (52) [DISC] (1) Boolean $SEV_19 (53) [DISC] (1) Boolean $SEV_18 (54) [DISC] (1) Boolean $SEV_17 (55) [DISC] (1) Boolean $SEV_16 (56) [DISS] (1) protected Real conChaWid.truFalHol.onDel2.t_next (57) [DISC] (1) Boolean $SEV_14 (58) [DISC] (1) Real $TEV_29 (59) [DISC] (1) Boolean $SEV_13 (60) [DISC] (1) Boolean $TEV_28 (61) [DISC] (1) Boolean $TEV_27 (62) [DISC] (1) Boolean $SEV_11 (63) [DISC] (1) Boolean $SEV_10 (64) [DISC] (1) Boolean $TEV_24 (65) [DISC] (1) Boolean $TEV_23 (66) [DISC] (1) protected Boolean conChaWid.truFalHol.toTrue.inPort.available (67) [DISC] (1) Boolean $TEV_22 (68) [DISS] (1) protected Boolean conChaWid.truFalHol.onDel1.y (69) [DISC] (1) protected Boolean conChaWid.truFalHol.toFalse1.outPort.occupied (70) [DISS] (1) protected Boolean conChaWid.truFalHol.onDel2.y (71) [DISC] (1) protected Boolean[1] conChaWid.truFalHol.outputFalse.outPort.reset (72) [DISC] (1) protected Boolean conChaWid.truFalHol.outputTrue.outerStatePort.localActive = conChaWid.truFalHol.outputTrue.outerStatePort.localActive (73) [DISC] (1) Boolean $SEV_9 (74) [DISC] (1) Boolean $SEV_8 (75) [DISC] (1) protected Boolean conChaWid.preBre.y (76) [DISC] (1) protected Boolean conChaWid.edg2.y (77) [DISC] (1) Boolean $SEV_5 (78) [DISC] (1) Boolean $SEV_4 (79) [ALGB] (1) protected Real conChaWid.abs1.y (80) [DISC] (1) Boolean $TEV_19 (81) [DISC] (1) Boolean $TEV_18 (82) [DISC] (1) protected Boolean conChaWid.edg2.u (83) [DISC] (2) protected Boolean[2] conChaWid.truFalHol.outputTrue.inPort.set (84) [DISC] (1) Boolean $TEV_17 (85) [DISC] (1) Boolean $TEV_14 (86) [DISC] (2) Boolean[2] $SEV_12[$i1] (87) [DISC] (1) Boolean $TEV_12 (88) [DISC] (1) protected Boolean conChaWid.truFalHol.outputFalse.newActive (89) [DISC] (1) protected Boolean[1] conChaWid.truFalHol.outputTrue.outPort.available (90) [DISC] (2) Boolean[2] $SEV_15[$i1] (91) [DISC] (2) Boolean[2] $SEV_7[$i1] system eqns Equations (99/109) ******************************** (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) ($RES_SIM_97) (17) [----] 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) ($RES_SIM_98) (18) [----] 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) ($RES_SIM_99) (19) [----] when $SEV_18 then (19) [----] conChaWid.truFalHol.onDel1.y := conChaWid.truFalHol.outputFalse.outerStatePort.localActive (19) [----] else when not conChaWid.truFalHol.outputFalse.outerStatePort.localActive then (19) [----] conChaWid.truFalHol.onDel1.y := false (19) [----] else when conChaWid.truFalHol.outputFalse.outerStatePort.localActive then (19) [----] conChaWid.truFalHol.onDel1.y := not conChaWid.truFalHol.onDel1.delayTime > 0.0 (19) [----] else when initial() then (19) [----] 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 (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) ($RES_SIM_100) (31) [----] when $SEV_18 then (31) [----] conChaWid.truFalHol.onDel1.t_next := conChaWid.truFalHol.onDel1.t_past (31) [----] else when not conChaWid.truFalHol.outputFalse.outerStatePort.localActive then (31) [----] conChaWid.truFalHol.onDel1.t_next := conChaWid.truFalHol.onDel1.t_past (31) [----] else when conChaWid.truFalHol.outputFalse.outerStatePort.localActive then (31) [----] conChaWid.truFalHol.onDel1.t_next := time + conChaWid.truFalHol.onDel1.delayTime (31) [----] else when initial() then (31) [----] conChaWid.truFalHol.onDel1.t_next := if not conChaWid.truFalHol.onDel1.delayOnInit then conChaWid.truFalHol.onDel1.t_past else time + conChaWid.truFalHol.onDel1.delayTime (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) ($RES_SIM_104) (36) [----] 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 = $SEV_21 ($RES_SIM_106) (39) [SCAL] (1) conChaWid.edg2.u = $SEV_22 ($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) [FOR-] (2) ($RES_EVT_220) (49) [----] for $i1 in 1:2 loop (49) [----] [SCAL] (1) $SEV_15[$i1] = conChaWid.truFalHol.outputFalse.inPort[$i1 - 1].occupied or conChaWid.truFalHol.outputFalse.inPort[$i1 - 1].set ($RES_EVT_221) (49) [----] end for; (50) [SCAL] (1) $TEV_12 = $PRE.conChaWid.truFalHol.toFalse1.outPort.set ($RES_EVT_182) (51) [SCAL] (1) $SEV_16 = $FUN_2 or conChaWid.truFalHol.outputFalse.outerStatePort.localActive and not $FUN_3 ($RES_EVT_222) (52) [SCAL] (1) $TEV_14 = $PRE.conChaWid.truFalHol.toTrue1.outPort.set ($RES_EVT_184) (53) [SCAL] (1) $SEV_17 = time >= $PRE.conChaWid.truFalHol.onDel2.t_next ($RES_EVT_223) (54) [SCAL] (1) $SEV_18 = time >= $PRE.conChaWid.truFalHol.onDel1.t_next ($RES_EVT_224) (55) [SCAL] (1) $SEV_19 = time >= conChaWid.cycOut.t_sta and time < conChaWid.cycOut.t_end ($RES_EVT_225) (56) [SCAL] (1) $TEV_17 = $PRE.conChaWid.truFalHol.initialStep.outerStatePort.localActive ($RES_EVT_187) (57) [SCAL] (1) $SEV_20 = conChaWid.cycOut.period * integer((time - conChaWid.cycOut.t0) / conChaWid.cycOut.period) > 0.0 ($RES_EVT_226) (58) [SCAL] (1) $TEV_18 = $PRE.conChaWid.truFalHol.initialStep.newActive ($RES_EVT_188) (59) [SCAL] (1) $SEV_21 = conChaWid.edg2.u and not $PRE.conChaWid.edg2.u ($RES_EVT_227) (60) [SCAL] (1) $TEV_19 = $PRE.conChaWid.truFalHol.toFalse.outPort.set ($RES_EVT_189) (61) [SCAL] (1) $SEV_22 = conChaWid.abs1.y > conChaWid.greThr.greNoHys.t ($RES_EVT_228) (62) [WHEN] (1) ($RES_SIM_110) (62) [----] when conChaWid.preBre.y then (62) [----] conChaWid.triSam.y := conChaWid.triSam.u (62) [----] end when; (63) [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) (64) [WHEN] (1) ($RES_SIM_30) (64) [----] when $TEV_33 then (64) [----] conPul1.booPul.y := false (64) [----] else when $TEV_34 then (64) [----] conPul1.booPul.y := true (64) [----] end when; (65) [SCAL] (1) conChaWid.truFalHol.outputFalse.outPort[1].available = conChaWid.truFalHol.toTrue.inPort.available ($RES_SIM_150) (66) [SCAL] (1) conChaWid.truFalHol.toFalse1.outPort.set = $SEV_4 ($RES_SIM_33) (67) [SCAL] (1) conChaWid.truFalHol.outputTrue.newActive = $SEV_13 ($RES_SIM_70) (68) [SCAL] (1) conChaWid.truFalHol.outputTrue.outPort[1].reset = conChaWid.truFalHol.toFalse.outPort.set ($RES_SIM_153) (69) [SCAL] (1) conChaWid.truFalHol.outputTrue.outerStatePort.localActive = $TEV_23 ($RES_SIM_71) (70) [SCAL] (1) conChaWid.truFalHol.outputTrue.outPort[1].available = conChaWid.truFalHol.toFalse.inPort.available ($RES_SIM_154) (71) [SCAL] (1) conChaWid.truFalHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if conChaWid.truFalHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_73) (72) [SCAL] (1) conChaWid.truFalHol.toTrue.outPort.set = $SEV_14 ($RES_SIM_77) (73) [SCAL] (1) $TEV_22 = $PRE.conChaWid.truFalHol.outputTrue.outerStatePort.localActive ($RES_EVT_192) (74) [SCAL] (1) $TEV_23 = $PRE.conChaWid.truFalHol.outputTrue.newActive ($RES_EVT_193) (75) [SCAL] (1) $TEV_24 = $PRE.conChaWid.truFalHol.toTrue.outPort.set ($RES_EVT_194) (76) [SCAL] (1) $TEV_27 = $PRE.conChaWid.truFalHol.outputFalse.outerStatePort.localActive ($RES_EVT_197) (77) [SCAL] (1) $TEV_28 = $PRE.conChaWid.truFalHol.outputFalse.newActive ($RES_EVT_198) (78) [SCAL] (1) $TEV_29 = $PRE.conChaWid.truFalHol.onDel2.t_next ($RES_EVT_199) (79) [SCAL] (1) conChaWid.truFalHol.toTrue1.outPort.set = $SEV_5 ($RES_SIM_40) (80) [FOR-] (2) ($RES_SIM_45) (80) [----] for $i1 in 1:2 loop (80) [----] [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[$i1].reset = false ($RES_SIM_46) (80) [----] end for; (81) [SCAL] (1) conChaWid.truFalHol.outputFalse.outPort[1].reset = false ($RES_SIM_82) (82) [FOR-] (2) ($RES_SIM_47) (82) [----] for $i1 in 1:2 loop (82) [----] [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) (82) [----] end for; (83) [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[2].reset = conChaWid.truFalHol.toFalse1.outPort.set ($RES_SIM_129) (84) [FOR-] (2) ($RES_SIM_83) (84) [----] for $i1 in 1:2 loop (84) [----] [SCAL] (1) conChaWid.truFalHol.outputFalse.inPort[$i1].set = false ($RES_SIM_84) (84) [----] end for; (85) [SCAL] (1) conChaWid.truFalHol.outputFalse.outPort[1].available = conChaWid.truFalHol.outputFalse.outerStatePort.localActive ($RES_SIM_85) (86) [FOR-] (2) ($RES_SIM_86) (86) [----] for $i1 in 1:2 loop (86) [----] [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) (86) [----] end for; (87) [SCAL] (1) conChaWid.truFalHol.outputFalse.newActive = $SEV_16 ($RES_SIM_89) (88) [SCAL] (1) $TEV_30 = $PRE.conChaWid.truFalHol.onDel1.t_next ($RES_EVT_200) (89) [SCAL] (1) $TEV_31 = $PRE.conChaWid.cycOut.t0 ($RES_EVT_201) (90) [SCAL] (1) $TEV_32 = $PRE.conChaWid.edg2.u ($RES_EVT_202) (91) [SCAL] (1) $TEV_33 = sample(3, conPul1.booPul.t1, conPul1.booPul.period) ($RES_EVT_203) (92) [SCAL] (1) $TEV_34 = sample(4, conPul1.booPul.t0, conPul1.booPul.period) ($RES_EVT_204) (93) [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) (94) [SCAL] (1) $SEV_5 = (conChaWid.truFalHol.toTrue1.localCondition and conChaWid.truFalHol.toTrue1.inPort.available) and not conChaWid.truFalHol.toTrue1.outPort.occupied ($RES_EVT_207) (95) [FOR-] (2) ($RES_EVT_208) (95) [----] for $i1 in 1:2 loop (95) [----] [SCAL] (1) $SEV_6[$i1] = $i1 == 1 ($RES_EVT_209) (95) [----] end for; (96) [SCAL] (1) conChaWid.abs1.y = abs(conChaWid.sub.y) ($RES_$AUX_181) (97) [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[2].available = conChaWid.truFalHol.toFalse1.inPort.available ($RES_SIM_130) (98) [SCAL] (1) conChaWid.truFalHol.initialStep.outPort[1].reset = conChaWid.truFalHol.toTrue1.outPort.set ($RES_SIM_131) (99) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(conChaWid.truFalHol.outputFalse.inPort.set) ($RES_$AUX_180) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 67 var 2 --> eqn 47 var 3 --> eqn 3 var 4 --> eqn 72 var 5 --> eqn 46 var 6 --> eqn 1 var 7 --> eqn 93 var 8 --> eqn 8 var 9 --> eqn 49 var 10 --> eqn 107 var 11 --> eqn 94 var 12 --> eqn 95 var 13 --> eqn 9 var 14 --> eqn 12 var 15 --> eqn 11 var 16 --> eqn 15 var 17 --> eqn 7 var 18 --> eqn 90 var 19 --> eqn 34 var 20 --> eqn 2 var 21 --> eqn 50 var 22 --> eqn 51 var 23 --> eqn 85 var 24 --> eqn 86 var 25 --> eqn 68 var 26 --> eqn 13 var 27 --> eqn 14 var 28 --> eqn 38 var 29 --> eqn 76 var 30 --> eqn 4 var 31 --> eqn 104 var 32 --> eqn 105 var 33 --> eqn 69 var 34 --> eqn 35 var 35 --> eqn 66 var 36 --> eqn 64 var 37 --> eqn 32 var 38 --> eqn 62 var 39 --> eqn 31 var 40 --> eqn 101 var 41 --> eqn 88 var 42 --> eqn 89 var 43 --> eqn 29 var 44 --> eqn 100 var 45 --> eqn 109 var 46 --> eqn 99 var 47 --> eqn 42 var 48 --> eqn 98 var 49 --> eqn 6 var 50 --> eqn 97 var 51 --> eqn 33 var 52 --> eqn 10 var 53 --> eqn 37 var 54 --> eqn 16 var 55 --> eqn 36 var 56 --> eqn 43 var 57 --> eqn 75 var 58 --> eqn 60 var 59 --> eqn 59 var 60 --> eqn 58 var 61 --> eqn 56 var 62 --> eqn 18 var 63 --> eqn 30 var 64 --> eqn 83 var 65 --> eqn 28 var 66 --> eqn 82 var 67 --> eqn 81 var 68 --> eqn 25 var 69 --> eqn 24 var 70 --> eqn 80 var 71 --> eqn 79 var 72 --> eqn 70 var 73 --> eqn 78 var 74 --> eqn 19 var 75 --> eqn 5 var 76 --> eqn 17 var 77 --> eqn 52 var 78 --> eqn 74 var 79 --> eqn 23 var 80 --> eqn 22 var 81 --> eqn 39 var 82 --> eqn 40 var 83 --> eqn 84 var 84 --> eqn 71 var 85 --> eqn 106 var 86 --> eqn 65 var 87 --> eqn 63 var 88 --> eqn 41 var 89 --> eqn 44 var 90 --> eqn 45 var 91 --> eqn 61 var 92 --> eqn 57 var 93 --> eqn 26 var 94 --> eqn 27 var 95 --> eqn 55 var 96 --> eqn 96 var 97 --> eqn 48 var 98 --> eqn 53 var 99 --> eqn 54 var 100 --> eqn 20 var 101 --> eqn 21 equation to variable ********************** eqn 1 --> var 6 eqn 2 --> var 20 eqn 3 --> var 3 eqn 4 --> var 30 eqn 5 --> var 75 eqn 6 --> var 49 eqn 7 --> var 17 eqn 8 --> var 8 eqn 9 --> var 13 eqn 10 --> var 52 eqn 11 --> var 15 eqn 12 --> var 14 eqn 13 --> var 26 eqn 14 --> var 27 eqn 15 --> var 16 eqn 16 --> var 54 eqn 17 --> var 76 eqn 18 --> var 62 eqn 19 --> var 74 eqn 20 --> var 100 eqn 21 --> var 101 eqn 22 --> var 80 eqn 23 --> var 79 eqn 24 --> var 69 eqn 25 --> var 68 eqn 26 --> var 93 eqn 27 --> var 94 eqn 28 --> var 65 eqn 29 --> var 43 eqn 30 --> var 63 eqn 31 --> var 39 eqn 32 --> var 37 eqn 33 --> var 51 eqn 34 --> var 19 eqn 35 --> var 34 eqn 36 --> var 55 eqn 37 --> var 53 eqn 38 --> var 28 eqn 39 --> var 81 eqn 40 --> var 82 eqn 41 --> var 88 eqn 42 --> var 47 eqn 43 --> var 56 eqn 44 --> var 89 eqn 45 --> var 90 eqn 46 --> var 5 eqn 47 --> var 2 eqn 48 --> var 97 eqn 49 --> var 9 eqn 50 --> var 21 eqn 51 --> var 22 eqn 52 --> var 77 eqn 53 --> var 98 eqn 54 --> var 99 eqn 55 --> var 95 eqn 56 --> var 61 eqn 57 --> var 92 eqn 58 --> var 60 eqn 59 --> var 59 eqn 60 --> var 58 eqn 61 --> var 91 eqn 62 --> var 38 eqn 63 --> var 87 eqn 64 --> var 36 eqn 65 --> var 86 eqn 66 --> var 35 eqn 67 --> var 1 eqn 68 --> var 25 eqn 69 --> var 33 eqn 70 --> var 72 eqn 71 --> var 84 eqn 72 --> var 4 eqn 73 --> var -1 eqn 74 --> var 78 eqn 75 --> var 57 eqn 76 --> var 29 eqn 77 --> var -1 eqn 78 --> var 73 eqn 79 --> var 71 eqn 80 --> var 70 eqn 81 --> var 67 eqn 82 --> var 66 eqn 83 --> var 64 eqn 84 --> var 83 eqn 85 --> var 23 eqn 86 --> var 24 eqn 87 --> var -1 eqn 88 --> var 41 eqn 89 --> var 42 eqn 90 --> var 18 eqn 91 --> var -1 eqn 92 --> var -1 eqn 93 --> var 7 eqn 94 --> var 11 eqn 95 --> var 12 eqn 96 --> var 96 eqn 97 --> var 50 eqn 98 --> var 48 eqn 99 --> var 46 eqn 100 --> var 44 eqn 101 --> var 40 eqn 102 --> var -1 eqn 103 --> var -1 eqn 104 --> var 31 eqn 105 --> var 32 eqn 106 --> var 85 eqn 107 --> var 10 eqn 108 --> var -1 eqn 109 --> var 45