Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.TimerWithReset.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.Templates.Plants.Controls.Utilities.Validation.TimerWithReset,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|noThr.u|res.y|noThr.t|noThr.y|noThrRes.y|noThr.passed|noThrRes.passed|thrTim.u|thrTim.t|thrTim.y|thrTimRes.y|thrTim.passed|thrTimRes.passed|thrTim1.u|thrTim1.t|thrTim1.y|thrTim1Res.y|thrTim1.passed|thrTim1Res.passed",fileNamePrefix="Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.TimerWithReset") translateModel(Buildings.Templates.Plants.Controls.Utilities.Validation.TimerWithReset,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|noThr.u|res.y|noThr.t|noThr.y|noThrRes.y|noThr.passed|noThrRes.passed|thrTim.u|thrTim.t|thrTim.y|thrTimRes.y|thrTim.passed|thrTimRes.passed|thrTim1.u|thrTim1.t|thrTim1.y|thrTim1Res.y|thrTim1.passed|thrTim1Res.passed",fileNamePrefix="Buildings_latest_Buildings.Templates.Plants.Controls.Utilities.Validation.TimerWithReset") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001729/0.001729, allocations: 110.7 kB / 16.42 MB, free: 6.512 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.001749/0.001749, allocations: 183.2 kB / 17.35 MB, free: 5.754 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.095/1.095, 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.115/2.115, allocations: 461.9 MB / 0.7354 GB, free: 11.1 MB / 0.6075 GB Notification: Performance of FrontEnd - Absyn->SCode: time 1.658e-05/1.66e-05, allocations: 6.219 kB / 1.055 GB, free: 7.781 MB / 0.8262 GB Notification: Performance of NFInst.instantiate(Buildings.Templates.Plants.Controls.Utilities.Validation.TimerWithReset): time 0.002743/0.002769, allocations: 2.365 MB / 1.057 GB, free: 5.406 MB / 0.8262 GB Notification: Performance of NFInst.instExpressions: time 0.001645/0.004425, allocations: 1.161 MB / 1.058 GB, free: 4.242 MB / 0.8262 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.0001682/0.004603, allocations: 4 kB / 1.058 GB, free: 4.238 MB / 0.8262 GB Notification: Performance of NFTyping.typeComponents: time 0.0001633/0.004774, allocations: 67.22 kB / 1.058 GB, free: 4.172 MB / 0.8262 GB Notification: Performance of NFTyping.typeBindings: time 0.0001244/0.004905, allocations: 59.31 kB / 1.058 GB, free: 4.113 MB / 0.8262 GB Notification: Performance of NFTyping.typeClassSections: time 0.001055/0.005971, allocations: 0.5518 MB / 1.059 GB, free: 3.566 MB / 0.8262 GB Notification: Performance of NFFlatten.flatten: time 0.0008073/0.006787, allocations: 0.9833 MB / 1.06 GB, free: 2.582 MB / 0.8262 GB Notification: Performance of NFFlatten.resolveConnections: time 0.000593/0.007388, allocations: 0.5759 MB / 1.06 GB, free: 2 MB / 0.8262 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0003508/0.007745, allocations: 407 kB / 1.061 GB, free: 1.602 MB / 0.8262 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0003711/0.008123, allocations: 394.6 kB / 1.061 GB, free: 1.215 MB / 0.8262 GB Notification: Performance of NFPackage.collectConstants: time 0.0001367/0.008266, allocations: 108 kB / 1.061 GB, free: 1.109 MB / 0.8262 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0001746/0.008446, allocations: 128 kB / 1.061 GB, free: 0.9844 MB / 0.8262 GB Notification: Performance of combineBinaries: time 0.0005621/0.009015, allocations: 1.002 MB / 1.062 GB, free: 15.97 MB / 0.8419 GB Notification: Performance of replaceArrayConstructors: time 0.0002433/0.009265, allocations: 0.5156 MB / 1.063 GB, free: 15.45 MB / 0.8419 GB Notification: Performance of NFVerifyModel.verify: time 0.0001375/0.009407, allocations: 127.7 kB / 1.063 GB, free: 15.32 MB / 0.8419 GB Notification: Performance of FrontEnd: time 9.976e-05/0.009513, allocations: 67.55 kB / 1.063 GB, free: 15.26 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: 152 (146) * Number of variables: 144 (138) Notification: Performance of Bindings: time 0.002486/0.012, allocations: 3.044 MB / 1.066 GB, free: 12.08 MB / 0.8419 GB Notification: Performance of FunctionAlias: time 0.0002026/0.01221, allocations: 191.6 kB / 1.066 GB, free: 11.89 MB / 0.8419 GB Notification: Performance of Early Inline: time 0.002618/0.01484, allocations: 3.139 MB / 1.069 GB, free: 8.711 MB / 0.8419 GB Notification: Performance of simplify1: time 0.0002126/0.01506, allocations: 163.7 kB / 1.069 GB, free: 8.551 MB / 0.8419 GB Notification: Performance of Alias: time 0.003189/0.01826, allocations: 3.366 MB / 1.073 GB, free: 4.949 MB / 0.8419 GB Notification: Performance of simplify2: time 0.0001427/0.01841, allocations: 131.8 kB / 1.073 GB, free: 4.82 MB / 0.8419 GB Notification: Performance of Events: time 0.001046/0.01946, allocations: 0.9659 MB / 1.074 GB, free: 3.828 MB / 0.8419 GB Notification: Performance of Detect States: time 0.001072/0.02054, allocations: 1.298 MB / 1.075 GB, free: 2.508 MB / 0.8419 GB Notification: Performance of Partitioning: time 0.0008517/0.0214, allocations: 0.9215 MB / 1.076 GB, free: 1.488 MB / 0.8419 GB Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (125/135) ********************************* (1) [DISC] (1) Boolean $SEV_37 (2) [DISC] (1) Boolean $SEV_36 (3) [DISS] (1) protected Boolean res.onDel2.y (4) [DISC] (1) Boolean $SEV_35 (5) [DISC] (1) Boolean $SEV_34 (6) [DISC] (1) Boolean $TEV_49 (7) [DISC] (1) Boolean $SEV_33 (8) [DISC] (1) Boolean $TEV_48 (9) [DISS] (1) protected Real res.onDel2.t_next (10) [DISC] (1) Boolean $SEV_32 (11) [DISC] (1) Boolean $TEV_47 (12) [DISC] (1) Boolean $SEV_31 (13) [DISC] (1) Boolean $TEV_46 (14) [DISC] (1) Boolean $SEV_30 (15) [DISC] (1) Boolean $TEV_45 (16) [DISC] (1) Boolean $TEV_44 (17) [DISC] (1) protected Boolean res.toFalse.outPort.occupied (18) [ALGB] (1) Real noThr.y (19) [DISC] (1) Boolean $TEV_43 (20) [DISC] (1) Boolean $TEV_42 (21) [DISC] (1) Boolean $TEV_41 (22) [DISC] (2) protected Boolean[2] res.outputTrue.inPort.set (23) [DISC] (1) Boolean $TEV_40 (24) [DISC] (1) protected final Boolean res.toTrue1.localCondition = res.toTrue1.localCondition (25) [DISS] (1) Boolean noThr.u (26) [DISC] (1) protected Integer res.stateGraphRoot.activeSteps (27) [ALGB] (1) Real thrTimRes.y (28) [DISC] (1) protected Boolean res.toTrue.outPort.set (29) [ALGB] (1) protected flow Real res.initialStep.outerStatePort.subgraphStatePort.activeSteps (30) [DISC] (1) protected Boolean[1] res.outputTrue.outPort.reset (31) [DISC] (1) protected Boolean res.outputTrue.outerStatePort.localActive = res.outputTrue.outerStatePort.localActive (32) [ALGB] (1) protected flow Real res.stateGraphRoot.subgraphStatePort.activeSteps (33) [DISC] (1) Boolean $SEV_29 (34) [DISC] (2) protected Boolean[2] res.outputFalse.inPort.occupied (35) [DISC] (1) Boolean $SEV_28 (36) [DISS] (1) protected discrete Real noThrRes.entryTime (37) [DISC] (1) Boolean $SEV_27 (38) [DISC] (1) Boolean $SEV_26 (39) [DISC] (1) Boolean $SEV_25 (40) [DISC] (2) Boolean[2] $SEV_21[$i1] (41) [DISC] (1) Boolean $TEV_39 (42) [DISC] (1) protected Boolean[1] res.outputFalse.outPort.reset (43) [DISC] (1) Boolean $SEV_23 (44) [DISC] (1) Boolean $TEV_38 (45) [DISC] (1) Boolean $SEV_22 (46) [DISC] (1) Boolean $FUN_6 (47) [DISC] (1) Boolean $TEV_36 (48) [DISC] (2) protected Boolean[2] res.outputTrue.inPort.occupied (49) [DISS] (1) protected discrete Real thrTim1.entryTime (50) [DISC] (1) Boolean $SEV_20 (51) [DISC] (1) Boolean $TEV_35 (52) [DISC] (1) Boolean $FUN_4 (53) [DISC] (1) Boolean $TEV_34 (54) [DISC] (1) Boolean $FUN_3 (55) [DISC] (1) Boolean $TEV_33 (56) [ALGB] (1) protected flow Real res.outputTrue.outerStatePort.subgraphStatePort.activeSteps (57) [DISC] (1) Boolean $FUN_2 (58) [ALGB] (1) Real noThrRes.y (59) [DISC] (1) Boolean $FUN_1 (60) [DISC] (1) Boolean $TEV_31 (61) [DISC] (2) protected Boolean[2] res.outputFalse.inPort.set (62) [DISC] (1) Boolean $TEV_30 (63) [DISC] (1) protected Boolean res.toFalse1.outPort.occupied (64) [DISS] (1) Boolean thrTim1Res.passed (65) [DISC] (2) Boolean[2] $SEV_24[$i1] (66) [DISS] (1) protected discrete Real thrTim1Res.entryTime (67) [DISC] (1) protected Boolean res.toTrue1.outPort.occupied (68) [DISS] (1) protected Boolean res.onDel1.y (69) [DISC] (1) protected Boolean[1] res.outputFalse.outPort.available (70) [ALGB] (1) Real thrTim1Res.y (71) [DISC] (1) protected final Boolean res.toTrue.localCondition = res.toTrue.localCondition (72) [DISC] (1) protected Boolean[1] res.outputTrue.outPort.available (73) [DISC] (1) protected final Boolean res.toFalse.localCondition = res.toFalse.localCondition (74) [DISS] (1) protected Boolean res.outputFalse.oldActive (75) [DISC] (1) Boolean $SEV_19 (76) [ALGB] (1) Real thrTim.y (77) [DISC] (1) Boolean $SEV_18 (78) [DISC] (1) Boolean $SEV_17 (79) [DISC] (1) protected Boolean res.toTrue1.inPort.available (80) [DISS] (1) protected discrete Real noThr.entryTime (81) [DISC] (1) Boolean $SEV_14 (82) [DISC] (1) Boolean $TEV_29 (83) [DISC] (1) Boolean $SEV_13 (84) [DISC] (1) Boolean $TEV_28 (85) [DISC] (1) Boolean $TEV_26 (86) [DISS] (1) protected discrete Real thrTim.entryTime (87) [DISC] (1) protected Boolean res.toFalse1.inPort.available (88) [DISS] (1) Boolean noThr.passed (89) [DISC] (1) protected Boolean res.initialStep.outerStatePort.localActive = res.initialStep.outerStatePort.localActive (90) [DISC] (1) Boolean $TEV_24 (91) [DISS] (1) Boolean noThrRes.passed (92) [DISC] (1) protected Boolean res.outputFalse.newActive (93) [DISS] (1) Boolean thrTimRes.passed (94) [DISC] (2) protected Boolean[2] res.initialStep.outPort.reset (95) [DISC] (1) protected Boolean res.toTrue1.outPort.set (96) [DISC] (2) Boolean[2] $SEV_16[$i1] (97) [DISC] (1) protected Boolean res.toTrue.inPort.available (98) [DISC] (1) protected Boolean res.toTrue.outPort.occupied (99) [DISS] (1) protected discrete Real thrTimRes.entryTime (100) [ALGB] (1) Real thrTim1.y (101) [DISS] (1) Boolean thrTim1.u (102) [DISC] (1) protected Boolean res.toFalse1.outPort.set (103) [DISC] (1) Boolean $TEV_59 (104) [DISC] (1) Boolean $TEV_58 (105) [DISC] (1) Boolean $TEV_57 (106) [DISC] (1) Boolean $TEV_56 (107) [DISC] (1) Boolean $TEV_55 (108) [DISC] (1) Boolean $TEV_54 (109) [DISC] (1) Boolean $TEV_53 (110) [DISC] (1) Boolean $TEV_52 (111) [DISC] (1) Boolean $TEV_51 (112) [DISC] (1) protected Boolean res.outputFalse.outerStatePort.localActive = res.outputFalse.outerStatePort.localActive (113) [DISC] (1) Boolean $TEV_50 (114) [DISC] (1) protected Boolean res.initialStep.newActive (115) [DISC] (1) protected Boolean res.outputTrue.newActive (116) [DISS] (1) Boolean thrTim1.passed (117) [DISS] (1) protected Real res.onDel1.t_next (118) [DISC] (1) protected Boolean res.toFalse.inPort.available (119) [DISC] (1) protected Boolean res.toFalse.outPort.set (120) [ALGB] (1) protected flow Real res.outputFalse.outerStatePort.subgraphStatePort.activeSteps (121) [DISC] (2) protected Boolean[2] res.initialStep.outPort.available (122) [DISS] (1) protected Boolean res.initialStep.oldActive (123) [DISS] (1) protected Boolean res.outputTrue.oldActive (124) [DISS] (1) Boolean thrTim.passed (125) [DISC] (2) Boolean[2] $SEV_15[$i1] system eqns Equations (133/143) ********************************* (1) [SCAL] (1) res.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if res.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_80) (2) [WHEN] (1)when $TEV_58 then (2) [----] noThr.u := false (2) [----] else when $TEV_59 then (2) [----] noThr.u := true (2) [----] end when; (3) [SCAL] (1) thrTim1.y = if thrTim1.u then time - thrTim1.entryTime else 0.0 ($RES_SIM_121) (4) [WHEN] (1)when not thrTim1.u then (4) [----] thrTim1.entryTime := $PRE.thrTim1.entryTime (4) [----] else when $SEV_33 then (4) [----] thrTim1.entryTime := $PRE.thrTim1.entryTime (4) [----] else when con.k then (4) [----] thrTim1.entryTime := time (4) [----] else when $SEV_34 then (4) [----] thrTim1.entryTime := time (4) [----] end when; (5) [WHEN] (1)when not thrTim1.u then (5) [----] thrTim1.passed := false (5) [----] else when $SEV_33 then (5) [----] thrTim1.passed := true (5) [----] else when con.k then (5) [----] thrTim1.passed := false (5) [----] else when $SEV_34 then (5) [----] thrTim1.passed := thrTim1.t <= 0.0 (5) [----] end when; (6) [SCAL] (1) res.toTrue.outPort.set = $SEV_23 ($RES_SIM_84) (7) [SCAL] (1) thrTim.y = if noThr.u then time - thrTim.entryTime else 0.0 ($RES_SIM_124) (8) [WHEN] (1)when not noThr.u then (8) [----] thrTim.entryTime := $PRE.thrTim.entryTime (8) [----] else when $SEV_35 then (8) [----] thrTim.entryTime := $PRE.thrTim.entryTime (8) [----] else when con.k then (8) [----] thrTim.entryTime := time (8) [----] else when $SEV_36 then (8) [----] thrTim.entryTime := time (8) [----] end when; (9) [WHEN] (1)when not noThr.u then (9) [----] thrTim.passed := false (9) [----] else when $SEV_35 then (9) [----] thrTim.passed := true (9) [----] else when con.k then (9) [----] thrTim.passed := false (9) [----] else when $SEV_36 then (9) [----] thrTim.passed := thrTim.t <= 0.0 (9) [----] end when; (10) [SCAL] (1) noThr.y = if noThr.u then time - noThr.entryTime else 0.0 ($RES_SIM_127) (11) [WHEN] (1)when not noThr.u then (11) [----] noThr.passed := false (11) [----] else when $SEV_37 then (11) [----] noThr.passed := true (11) [----] else when con.k then (11) [----] noThr.passed := false (11) [----] else when $SEV_36 then (11) [----] noThr.passed := noThr.t <= 0.0 (11) [----] end when; (12) [SCAL] (1) res.outputFalse.outPort[1].reset = false ($RES_SIM_89) (13) [WHEN] (1)when not noThr.u then (13) [----] noThr.entryTime := $PRE.noThr.entryTime (13) [----] else when $SEV_37 then (13) [----] noThr.entryTime := $PRE.noThr.entryTime (13) [----] else when con.k then (13) [----] noThr.entryTime := time (13) [----] else when $SEV_36 then (13) [----] noThr.entryTime := time (13) [----] end when; (14) [SCAL] (1) $TEV_38 = $PRE.res.outputFalse.oldActive ($RES_EVT_211) (15) [SCAL] (1) $TEV_39 = $PRE.res.outputFalse.outerStatePort.localActive ($RES_EVT_212) (16) [SCAL] (1) $TEV_40 = $PRE.res.outputFalse.newActive ($RES_EVT_213) (17) [SCAL] (1) $TEV_41 = $PRE.res.onDel2.t_next ($RES_EVT_214) (18) [SCAL] (1) $TEV_42 = $PRE.res.onDel1.t_next ($RES_EVT_215) (19) [SCAL] (1) $TEV_43 = $PRE.thrTim1Res.passed ($RES_EVT_216) (20) [SCAL] (1) $TEV_44 = $PRE.thrTim1Res.entryTime ($RES_EVT_217) (21) [SCAL] (1) $TEV_45 = $PRE.thrTimRes.passed ($RES_EVT_218) (22) [SCAL] (1) $TEV_46 = $PRE.thrTimRes.entryTime ($RES_EVT_219) (23) [SCAL] (1) res.outputFalse.outerStatePort.subgraphStatePort.activeSteps + res.outputTrue.outerStatePort.subgraphStatePort.activeSteps + res.initialStep.outerStatePort.subgraphStatePort.activeSteps + res.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_130) (24) [FOR-] (2) ($RES_SIM_90) (24) [----] for $i1 in 1:2 loop (24) [----] [SCAL] (1) res.outputFalse.inPort[$i1].set = false ($RES_SIM_91) (24) [----] end for; (25) [SCAL] (1) $FUN_1 = Modelica.Math.BooleanVectors.anyTrue(res.outputFalse.inPort.set) ($RES_$AUX_195) (26) [SCAL] (1) $FUN_2 = Modelica.Math.BooleanVectors.anyTrue(res.outputFalse.outPort.reset) ($RES_$AUX_194) (27) [SCAL] (1) res.outputFalse.outPort[1].available = res.outputFalse.outerStatePort.localActive ($RES_SIM_92) (28) [SCAL] (1) $FUN_3 = Modelica.Math.BooleanVectors.anyTrue(res.outputTrue.inPort.set) ($RES_$AUX_193) (29) [FOR-] (2) ($RES_SIM_93) (29) [----] for $i1 in 1:2 loop (29) [----] [SCAL] (1) res.outputFalse.inPort[$i1].occupied = if $SEV_15[$i1] then res.outputFalse.outerStatePort.localActive else $SEV_24[$i1] ($RES_SIM_94) (29) [----] end for; (30) [SCAL] (1) $FUN_4 = Modelica.Math.BooleanVectors.anyTrue(res.outputTrue.outPort.reset) ($RES_$AUX_192) (31) [WHEN] (1)when false then (31) [----] res.outputFalse.oldActive := res.outputFalse.outerStatePort.localActive (31) [----] end when; (32) [SCAL] (1) $FUN_6 = Modelica.Math.BooleanVectors.anyTrue(res.initialStep.outPort.reset) ($RES_$AUX_190) (33) [SCAL] (1) res.outputFalse.newActive = $SEV_25 ($RES_SIM_96) (34) [SCAL] (1) res.outputFalse.outerStatePort.localActive = $TEV_40 ($RES_SIM_97) (35) [SCAL] (1) res.outputFalse.outerStatePort.subgraphStatePort.activeSteps = if res.outputFalse.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_99) (36) [SCAL] (1) $TEV_47 = $PRE.noThrRes.passed ($RES_EVT_220) (37) [SCAL] (1) $TEV_48 = $PRE.noThrRes.entryTime ($RES_EVT_221) (38) [SCAL] (1) $TEV_49 = $PRE.thrTim1.passed ($RES_EVT_222) (39) [SCAL] (1) $TEV_50 = $PRE.thrTim1.entryTime ($RES_EVT_223) (40) [SCAL] (1) $TEV_51 = $PRE.thrTim.passed ($RES_EVT_224) (41) [SCAL] (1) $TEV_52 = $PRE.thrTim.entryTime ($RES_EVT_225) (42) [SCAL] (1) $TEV_53 = $PRE.noThr.passed ($RES_EVT_226) (43) [SCAL] (1) $TEV_54 = $PRE.noThr.entryTime ($RES_EVT_227) (44) [SCAL] (1) $TEV_55 = sample(5, samTri.t0, samTri.period) ($RES_EVT_228) (45) [SCAL] (1) $TEV_56 = sample(6, booPul1.t1, booPul1.period) ($RES_EVT_229) (46) [SCAL] (1) res.initialStep.outPort[2].reset = res.toFalse1.outPort.set ($RES_SIM_146) (47) [SCAL] (1) res.initialStep.outPort[2].available = res.toFalse1.inPort.available ($RES_SIM_147) (48) [SCAL] (1) res.initialStep.outPort[1].reset = res.toTrue1.outPort.set ($RES_SIM_148) (49) [SCAL] (1) res.initialStep.outPort[1].available = res.toTrue1.inPort.available ($RES_SIM_149) (50) [SCAL] (1) $TEV_57 = sample(7, booPul1.t0, booPul1.period) ($RES_EVT_230) (51) [SCAL] (1) $TEV_58 = sample(8, booPul.t1, booPul.period) ($RES_EVT_231) (52) [SCAL] (1) $TEV_59 = sample(9, booPul.t0, booPul.period) ($RES_EVT_232) (53) [SCAL] (1) res.toFalse1.outPort.set = res.outputFalse.inPort[2].set ($RES_SIM_150) (54) [SCAL] (1) res.toFalse1.outPort.occupied = res.outputFalse.inPort[2].occupied ($RES_SIM_151) (55) [SCAL] (1) res.toTrue.outPort.set = res.outputTrue.inPort[2].set ($RES_SIM_152) (56) [SCAL] (1) res.toTrue.outPort.occupied = res.outputTrue.inPort[2].occupied ($RES_SIM_153) (57) [SCAL] (1) res.toTrue1.outPort.set = res.outputTrue.inPort[1].set ($RES_SIM_154) (58) [SCAL] (1) res.toTrue1.outPort.occupied = res.outputTrue.inPort[1].occupied ($RES_SIM_155) (59) [SCAL] (1) $SEV_13 = (not res.toTrue1.localCondition and res.toFalse1.inPort.available) and not res.toFalse1.outPort.occupied ($RES_EVT_240) (60) [SCAL] (1) $SEV_14 = (res.toTrue1.localCondition and res.toTrue1.inPort.available) and not res.toTrue1.outPort.occupied ($RES_EVT_241) (61) [FOR-] (2) ($RES_EVT_242) (61) [----] for $i1 in 1:2 loop (61) [----] [SCAL] (1) $SEV_15[$i1] = $i1 == 1 ($RES_EVT_243) (61) [----] end for; (62) [FOR-] (2) ($RES_EVT_244) (62) [----] for $i1 in 1:2 loop (62) [----] [SCAL] (1) $SEV_16[$i1] = res.initialStep.outPort[$i1 - 1].available and not res.initialStep.outPort[$i1 - 1].reset ($RES_EVT_245) (62) [----] end for; (63) [SCAL] (1) $SEV_17 = res.initialStep.outerStatePort.localActive and not $FUN_6 ($RES_EVT_246) (64) [SCAL] (1) $SEV_18 = res.onDel1.y and res.toTrue1.localCondition ($RES_EVT_247) (65) [SCAL] (1) $SEV_19 = res.onDel2.y and not res.toTrue1.localCondition ($RES_EVT_248) (66) [SCAL] (1) $SEV_20 = (res.toFalse.localCondition and res.toFalse.inPort.available) and not res.toFalse.outPort.occupied ($RES_EVT_249) (67) [SCAL] (1) res.toFalse1.outPort.set = $SEV_13 ($RES_SIM_40) (68) [SCAL] (1) res.toTrue1.outPort.set = $SEV_14 ($RES_SIM_47) (69) [SCAL] (1) res.toFalse.outPort.set = res.outputFalse.inPort[1].set ($RES_SIM_164) (70) [SCAL] (1) res.toFalse.outPort.occupied = res.outputFalse.inPort[1].occupied ($RES_SIM_165) (71) [SCAL] (1) res.outputFalse.outPort[1].reset = res.toTrue.outPort.set ($RES_SIM_166) (72) [SCAL] (1) res.outputFalse.outPort[1].available = res.toTrue.inPort.available ($RES_SIM_167) (73) [FOR-] (2) ($RES_EVT_250) (73) [----] for $i1 in 1:2 loop (73) [----] [SCAL] (1) $SEV_21[$i1] = res.outputTrue.inPort[$i1 - 1].occupied or res.outputTrue.inPort[$i1 - 1].set ($RES_EVT_251) (73) [----] end for; (74) [SCAL] (1) $SEV_22 = $FUN_3 or res.outputTrue.outerStatePort.localActive and not $FUN_4 ($RES_EVT_252) (75) [SCAL] (1) $SEV_23 = (res.toTrue.localCondition and res.toTrue.inPort.available) and not res.toTrue.outPort.occupied ($RES_EVT_253) (76) [FOR-] (2) ($RES_EVT_254) (76) [----] for $i1 in 1:2 loop (76) [----] [SCAL] (1) $SEV_24[$i1] = res.outputFalse.inPort[$i1 - 1].occupied or res.outputFalse.inPort[$i1 - 1].set ($RES_EVT_255) (76) [----] end for; (77) [SCAL] (1) $SEV_25 = $FUN_1 or res.outputFalse.outerStatePort.localActive and not $FUN_2 ($RES_EVT_256) (78) [SCAL] (1) $SEV_26 = time >= $PRE.res.onDel2.t_next ($RES_EVT_257) (79) [SCAL] (1) $SEV_27 = time >= $PRE.res.onDel1.t_next ($RES_EVT_258) (80) [SCAL] (1) $SEV_28 = thrTim1.u and time >= (thrTim1Res.t + $PRE.thrTim1Res.entryTime) ($RES_EVT_259) (81) [FOR-] (2) ($RES_SIM_52) (81) [----] for $i1 in 1:2 loop (81) [----] [SCAL] (1) res.initialStep.outPort[$i1].reset = false ($RES_SIM_53) (81) [----] end for; (82) [FOR-] (2) ($RES_SIM_54) (82) [----] for $i1 in 1:2 loop (82) [----] [SCAL] (1) res.initialStep.outPort[$i1].available = if $SEV_15[$i1] then res.initialStep.outerStatePort.localActive else $SEV_16[$i1] ($RES_SIM_55) (82) [----] end for; (83) [WHEN] (1)when false then (83) [----] res.initialStep.oldActive := res.initialStep.outerStatePort.localActive (83) [----] end when; (84) [SCAL] (1) res.initialStep.newActive = $SEV_17 ($RES_SIM_57) (85) [SCAL] (1) res.outputTrue.outPort[1].reset = res.toFalse.outPort.set ($RES_SIM_170) (86) [SCAL] (1) res.initialStep.outerStatePort.localActive = $TEV_30 ($RES_SIM_58) (87) [SCAL] (1) res.outputTrue.outPort[1].available = res.toFalse.inPort.available ($RES_SIM_171) (88) [SCAL] (1) $SEV_29 = thrTim1.u and not res.toTrue1.localCondition ($RES_EVT_260) (89) [SCAL] (1) $SEV_30 = noThr.u and time >= (thrTimRes.t + $PRE.thrTimRes.entryTime) ($RES_EVT_261) (90) [SCAL] (1) $SEV_31 = noThr.u and not res.toTrue1.localCondition ($RES_EVT_262) (91) [SCAL] (1) $SEV_32 = noThr.u and time >= (noThrRes.t + $PRE.noThrRes.entryTime) ($RES_EVT_263) (92) [SCAL] (1) $SEV_33 = thrTim1.u and time >= (thrTim1.t + $PRE.thrTim1.entryTime) ($RES_EVT_264) (93) [SCAL] (1) $SEV_34 = thrTim1.u and not con.k ($RES_EVT_265) (94) [SCAL] (1) $SEV_35 = noThr.u and time >= (thrTim.t + $PRE.thrTim.entryTime) ($RES_EVT_266) (95) [SCAL] (1) $SEV_36 = noThr.u and not con.k ($RES_EVT_267) (96) [SCAL] (1) $SEV_37 = noThr.u and time >= (noThr.t + $PRE.noThr.entryTime) ($RES_EVT_268) (97) [SCAL] (1) res.initialStep.outerStatePort.subgraphStatePort.activeSteps = if res.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_60) (98) [SCAL] (1) res.toTrue.localCondition = $SEV_18 ($RES_SIM_61) (99) [SCAL] (1) res.toFalse.localCondition = $SEV_19 ($RES_SIM_62) (100) [SCAL] (1) res.stateGraphRoot.activeSteps = -integer(res.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_103) (101) [WHEN] (1)when $SEV_26 then (101) [----] res.onDel2.t_next := res.onDel2.t_past (101) [----] else when not res.outputTrue.outerStatePort.localActive then (101) [----] res.onDel2.t_next := res.onDel2.t_past (101) [----] else when res.outputTrue.outerStatePort.localActive then (101) [----] res.onDel2.t_next := time + res.onDel2.delayTime (101) [----] else when initial() then (101) [----] res.onDel2.t_next := if not res.onDel2.delayOnInit then res.onDel2.t_past else time + res.onDel2.delayTime (101) [----] end when; (102) [SCAL] (1) res.toFalse.outPort.set = $SEV_20 ($RES_SIM_65) (103) [WHEN] (1)when $SEV_26 then (103) [----] res.onDel2.y := res.outputTrue.outerStatePort.localActive (103) [----] else when not res.outputTrue.outerStatePort.localActive then (103) [----] res.onDel2.y := false (103) [----] else when res.outputTrue.outerStatePort.localActive then (103) [----] res.onDel2.y := not res.onDel2.delayTime > 0.0 (103) [----] else when initial() then (103) [----] res.onDel2.y := if not (res.onDel2.delayOnInit and res.onDel2.delayTime > 0.0) then res.outputTrue.outerStatePort.localActive else false (103) [----] end when; (104) [WHEN] (1)when $SEV_27 then (104) [----] res.onDel1.y := res.outputFalse.outerStatePort.localActive (104) [----] else when not res.outputFalse.outerStatePort.localActive then (104) [----] res.onDel1.y := false (104) [----] else when res.outputFalse.outerStatePort.localActive then (104) [----] res.onDel1.y := not res.onDel1.delayTime > 0.0 (104) [----] else when initial() then (104) [----] res.onDel1.y := if not (res.onDel1.delayOnInit and res.onDel1.delayTime > 0.0) then res.outputFalse.outerStatePort.localActive else false (104) [----] end when; (105) [WHEN] (1)when $SEV_27 then (105) [----] res.onDel1.t_next := res.onDel1.t_past (105) [----] else when not res.outputFalse.outerStatePort.localActive then (105) [----] res.onDel1.t_next := res.onDel1.t_past (105) [----] else when res.outputFalse.outerStatePort.localActive then (105) [----] res.onDel1.t_next := time + res.onDel1.delayTime (105) [----] else when initial() then (105) [----] res.onDel1.t_next := if not res.onDel1.delayOnInit then res.onDel1.t_past else time + res.onDel1.delayTime (105) [----] end when; (106) [SCAL] (1) res.toTrue1.localCondition = $TEV_55 ($RES_SIM_108) (107) [SCAL] (1) thrTim1Res.y = if thrTim1.u then time - thrTim1Res.entryTime else 0.0 ($RES_SIM_109) (108) [SCAL] (1) res.outputTrue.outPort[1].reset = false ($RES_SIM_70) (109) [WHEN] (1)when not thrTim1.u then (109) [----] thrTim1Res.passed := false (109) [----] else when $SEV_28 then (109) [----] thrTim1Res.passed := true (109) [----] else when res.toTrue1.localCondition then (109) [----] thrTim1Res.passed := false (109) [----] else when $SEV_29 then (109) [----] thrTim1Res.passed := thrTim1Res.t <= 0.0 (109) [----] end when; (110) [SCAL] (1) $TEV_24 = $PRE.res.toFalse1.outPort.set ($RES_EVT_197) (111) [FOR-] (2) ($RES_SIM_71) (111) [----] for $i1 in 1:2 loop (111) [----] [SCAL] (1) res.outputTrue.inPort[$i1].set = false ($RES_SIM_72) (111) [----] end for; (112) [WHEN] (1)when not thrTim1.u then (112) [----] thrTim1Res.entryTime := $PRE.thrTim1Res.entryTime (112) [----] else when $SEV_28 then (112) [----] thrTim1Res.entryTime := $PRE.thrTim1Res.entryTime (112) [----] else when res.toTrue1.localCondition then (112) [----] thrTim1Res.entryTime := time (112) [----] else when $SEV_29 then (112) [----] thrTim1Res.entryTime := time (112) [----] end when; (113) [SCAL] (1) thrTimRes.y = if noThr.u then time - thrTimRes.entryTime else 0.0 ($RES_SIM_112) (114) [SCAL] (1) $TEV_26 = $PRE.res.toTrue1.outPort.set ($RES_EVT_199) (115) [SCAL] (1) res.outputTrue.outPort[1].available = res.outputTrue.outerStatePort.localActive ($RES_SIM_73) (116) [WHEN] (1)when not noThr.u then (116) [----] thrTimRes.entryTime := $PRE.thrTimRes.entryTime (116) [----] else when $SEV_30 then (116) [----] thrTimRes.entryTime := $PRE.thrTimRes.entryTime (116) [----] else when res.toTrue1.localCondition then (116) [----] thrTimRes.entryTime := time (116) [----] else when $SEV_31 then (116) [----] thrTimRes.entryTime := time (116) [----] end when; (117) [FOR-] (2) ($RES_SIM_74) (117) [----] for $i1 in 1:2 loop (117) [----] [SCAL] (1) res.outputTrue.inPort[$i1].occupied = if $SEV_15[$i1] then res.outputTrue.outerStatePort.localActive else $SEV_21[$i1] ($RES_SIM_75) (117) [----] end for; (118) [WHEN] (1)when not noThr.u then (118) [----] thrTimRes.passed := false (118) [----] else when $SEV_30 then (118) [----] thrTimRes.passed := true (118) [----] else when res.toTrue1.localCondition then (118) [----] thrTimRes.passed := false (118) [----] else when $SEV_31 then (118) [----] thrTimRes.passed := thrTimRes.t <= 0.0 (118) [----] end when; (119) [SCAL] (1) noThrRes.y = if noThr.u then time - noThrRes.entryTime else 0.0 ($RES_SIM_115) (120) [WHEN] (1)when false then (120) [----] res.outputTrue.oldActive := res.outputTrue.outerStatePort.localActive (120) [----] end when; (121) [WHEN] (1)when not noThr.u then (121) [----] noThrRes.passed := false (121) [----] else when $SEV_32 then (121) [----] noThrRes.passed := true (121) [----] else when res.toTrue1.localCondition then (121) [----] noThrRes.passed := false (121) [----] else when $SEV_31 then (121) [----] noThrRes.passed := noThrRes.t <= 0.0 (121) [----] end when; (122) [SCAL] (1) res.outputTrue.newActive = $SEV_22 ($RES_SIM_77) (123) [WHEN] (1)when not noThr.u then (123) [----] noThrRes.entryTime := $PRE.noThrRes.entryTime (123) [----] else when $SEV_32 then (123) [----] noThrRes.entryTime := $PRE.noThrRes.entryTime (123) [----] else when res.toTrue1.localCondition then (123) [----] noThrRes.entryTime := time (123) [----] else when $SEV_31 then (123) [----] noThrRes.entryTime := time (123) [----] end when; (124) [SCAL] (1) res.outputTrue.outerStatePort.localActive = $TEV_35 ($RES_SIM_78) (125) [WHEN] (1)when $TEV_56 then (125) [----] thrTim1.u := false (125) [----] else when $TEV_57 then (125) [----] thrTim1.u := true (125) [----] end when; (126) [SCAL] (1) $TEV_28 = $PRE.res.initialStep.oldActive ($RES_EVT_201) (127) [SCAL] (1) $TEV_29 = $PRE.res.initialStep.outerStatePort.localActive ($RES_EVT_202) (128) [SCAL] (1) $TEV_30 = $PRE.res.initialStep.newActive ($RES_EVT_203) (129) [SCAL] (1) $TEV_31 = $PRE.res.toFalse.outPort.set ($RES_EVT_204) (130) [SCAL] (1) $TEV_33 = $PRE.res.outputTrue.oldActive ($RES_EVT_206) (131) [SCAL] (1) $TEV_34 = $PRE.res.outputTrue.outerStatePort.localActive ($RES_EVT_207) (132) [SCAL] (1) $TEV_35 = $PRE.res.outputTrue.newActive ($RES_EVT_208) (133) [SCAL] (1) $TEV_36 = $PRE.res.toTrue.outPort.set ($RES_EVT_209) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 104 var 2 --> eqn 103 var 3 --> eqn 111 var 4 --> eqn 102 var 5 --> eqn 101 var 6 --> eqn 40 var 7 --> eqn 100 var 8 --> eqn 39 var 9 --> eqn 109 var 10 --> eqn 99 var 11 --> eqn 38 var 12 --> eqn 98 var 13 --> eqn 22 var 14 --> eqn 97 var 15 --> eqn 21 var 16 --> eqn 20 var 17 --> eqn 74 var 18 --> eqn 10 var 19 --> eqn 19 var 20 --> eqn 18 var 21 --> eqn 17 var 22 --> eqn 59 var 23 --> eqn 57 var 24 --> eqn 16 var 25 --> eqn 114 var 26 --> eqn 2 var 27 --> eqn 108 var 28 --> eqn 122 var 29 --> eqn 75 var 30 --> eqn 105 var 31 --> eqn 93 var 32 --> eqn 134 var 33 --> eqn 23 var 34 --> eqn 96 var 35 --> eqn 30 var 36 --> eqn 31 var 37 --> eqn 86 var 38 --> eqn 133 var 39 --> eqn 85 var 40 --> eqn 84 var 41 --> eqn 83 var 42 --> eqn 77 var 43 --> eqn 78 var 44 --> eqn 15 var 45 --> eqn 12 var 46 --> eqn 6 var 47 --> eqn 14 var 48 --> eqn 79 var 49 --> eqn 34 var 50 --> eqn 143 var 51 --> eqn 126 var 52 --> eqn 127 var 53 --> eqn 4 var 54 --> eqn 70 var 55 --> eqn 142 var 56 --> eqn 32 var 57 --> eqn 141 var 58 --> eqn 29 var 59 --> eqn 140 var 60 --> eqn 1 var 61 --> eqn 27 var 62 --> eqn 129 var 63 --> eqn 26 var 64 --> eqn 139 var 65 --> eqn 24 var 66 --> eqn 25 var 67 --> eqn 138 var 68 --> eqn 56 var 69 --> eqn 117 var 70 --> eqn 81 var 71 --> eqn 82 var 72 --> eqn 121 var 73 --> eqn 60 var 74 --> eqn 112 var 75 --> eqn 28 var 76 --> eqn 115 var 77 --> eqn 106 var 78 --> eqn 124 var 79 --> eqn 107 var 80 --> eqn 33 var 81 --> eqn 69 var 82 --> eqn 7 var 83 --> eqn 68 var 84 --> eqn 67 var 85 --> eqn 51 var 86 --> eqn 13 var 87 --> eqn 62 var 88 --> eqn 137 var 89 --> eqn 61 var 90 --> eqn 136 var 91 --> eqn 123 var 92 --> eqn 8 var 93 --> eqn 49 var 94 --> eqn 11 var 95 --> eqn 94 var 96 --> eqn 118 var 97 --> eqn 131 var 98 --> eqn 35 var 99 --> eqn 128 var 100 --> eqn 87 var 101 --> eqn 48 var 102 --> eqn 50 var 103 --> eqn 65 var 104 --> eqn 66 var 105 --> eqn 76 var 106 --> eqn 58 var 107 --> eqn 125 var 108 --> eqn 3 var 109 --> eqn 135 var 110 --> eqn 55 var 111 --> eqn 54 var 112 --> eqn 53 var 113 --> eqn 52 var 114 --> eqn 47 var 115 --> eqn 46 var 116 --> eqn 45 var 117 --> eqn 44 var 118 --> eqn 43 var 119 --> eqn 42 var 120 --> eqn 36 var 121 --> eqn 41 var 122 --> eqn 92 var 123 --> eqn 132 var 124 --> eqn 5 var 125 --> eqn 113 var 126 --> eqn 95 var 127 --> eqn 73 var 128 --> eqn 37 var 129 --> eqn 89 var 130 --> eqn 90 var 131 --> eqn 91 var 132 --> eqn 130 var 133 --> eqn 9 var 134 --> eqn 63 var 135 --> eqn 64 equation to variable ********************** eqn 1 --> var 60 eqn 2 --> var 26 eqn 3 --> var 108 eqn 4 --> var 53 eqn 5 --> var 124 eqn 6 --> var 46 eqn 7 --> var 82 eqn 8 --> var 92 eqn 9 --> var 133 eqn 10 --> var 18 eqn 11 --> var 94 eqn 12 --> var 45 eqn 13 --> var 86 eqn 14 --> var 47 eqn 15 --> var 44 eqn 16 --> var 24 eqn 17 --> var 21 eqn 18 --> var 20 eqn 19 --> var 19 eqn 20 --> var 16 eqn 21 --> var 15 eqn 22 --> var 13 eqn 23 --> var 33 eqn 24 --> var 65 eqn 25 --> var 66 eqn 26 --> var 63 eqn 27 --> var 61 eqn 28 --> var 75 eqn 29 --> var 58 eqn 30 --> var 35 eqn 31 --> var 36 eqn 32 --> var 56 eqn 33 --> var 80 eqn 34 --> var 49 eqn 35 --> var 98 eqn 36 --> var 120 eqn 37 --> var 128 eqn 38 --> var 11 eqn 39 --> var 8 eqn 40 --> var 6 eqn 41 --> var 121 eqn 42 --> var 119 eqn 43 --> var 118 eqn 44 --> var 117 eqn 45 --> var 116 eqn 46 --> var 115 eqn 47 --> var 114 eqn 48 --> var 101 eqn 49 --> var 93 eqn 50 --> var 102 eqn 51 --> var 85 eqn 52 --> var 113 eqn 53 --> var 112 eqn 54 --> var 111 eqn 55 --> var 110 eqn 56 --> var 68 eqn 57 --> var 23 eqn 58 --> var 106 eqn 59 --> var 22 eqn 60 --> var 73 eqn 61 --> var 89 eqn 62 --> var 87 eqn 63 --> var 134 eqn 64 --> var 135 eqn 65 --> var 103 eqn 66 --> var 104 eqn 67 --> var 84 eqn 68 --> var 83 eqn 69 --> var 81 eqn 70 --> var 54 eqn 71 --> var -1 eqn 72 --> var -1 eqn 73 --> var 127 eqn 74 --> var 17 eqn 75 --> var 29 eqn 76 --> var 105 eqn 77 --> var 42 eqn 78 --> var 43 eqn 79 --> var 48 eqn 80 --> var -1 eqn 81 --> var 70 eqn 82 --> var 71 eqn 83 --> var 41 eqn 84 --> var 40 eqn 85 --> var 39 eqn 86 --> var 37 eqn 87 --> var 100 eqn 88 --> var -1 eqn 89 --> var 129 eqn 90 --> var 130 eqn 91 --> var 131 eqn 92 --> var 122 eqn 93 --> var 31 eqn 94 --> var 95 eqn 95 --> var 126 eqn 96 --> var 34 eqn 97 --> var 14 eqn 98 --> var 12 eqn 99 --> var 10 eqn 100 --> var 7 eqn 101 --> var 5 eqn 102 --> var 4 eqn 103 --> var 2 eqn 104 --> var 1 eqn 105 --> var 30 eqn 106 --> var 77 eqn 107 --> var 79 eqn 108 --> var 27 eqn 109 --> var 9 eqn 110 --> var -1 eqn 111 --> var 3 eqn 112 --> var 74 eqn 113 --> var 125 eqn 114 --> var 25 eqn 115 --> var 76 eqn 116 --> var -1 eqn 117 --> var 69 eqn 118 --> var 96 eqn 119 --> var -1 eqn 120 --> var -1 eqn 121 --> var 72 eqn 122 --> var 28 eqn 123 --> var 91 eqn 124 --> var 78 eqn 125 --> var 107 eqn 126 --> var 51 eqn 127 --> var 52 eqn 128 --> var 99 eqn 129 --> var 62 eqn 130 --> var 132 eqn 131 --> var 97 eqn 132 --> var 123 eqn 133 --> var 38 eqn 134 --> var 32 eqn 135 --> var 109 eqn 136 --> var 90 eqn 137 --> var 88 eqn 138 --> var 67 eqn 139 --> var 64 eqn 140 --> var 59 eqn 141 --> var 57 eqn 142 --> var 55 eqn 143 --> var 50