Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Controls.OBC.CDL.Logical.Sources.Validation.Pulse.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 3.2.3+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 8.1.4-maint.8.1.x/package.mo", uses=false) Using package Buildings with version 8.1.4 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 8.1.4-maint.8.1.x/package.mo) Using package Modelica with version 3.2.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+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.Sources.Validation.Pulse,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Sources.Validation.Pulse") translateModel(Buildings.Controls.OBC.CDL.Logical.Sources.Validation.Pulse,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Sources.Validation.Pulse") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001088/0.001088, allocations: 103.2 kB / 16.37 MB, free: 6.316 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.00113/0.00113, allocations: 192.8 kB / 17.31 MB, free: 5.891 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.489/1.489, allocations: 205.1 MB / 223.2 MB, free: 12.25 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 8.1.4-maint.8.1.x/package.mo): time 1.883/1.883, allocations: 292.3 MB / 0.5496 GB, free: 17.61 MB / 462.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.493e-05/2.501e-05, allocations: 2.281 kB / 0.6729 GB, free: 5.844 MB / 0.545 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Sources.Validation.Pulse): time 0.002235/0.002275, allocations: 1.172 MB / 0.674 GB, free: 4.668 MB / 0.545 GB Notification: Performance of NFInst.instExpressions: time 0.002631/0.004918, allocations: 2.178 MB / 0.6762 GB, free: 2.473 MB / 0.545 GB Notification: Performance of NFInst.updateImplicitVariability: time 9.52e-05/0.005025, allocations: 0 / 0.6762 GB, free: 2.473 MB / 0.545 GB Notification: Performance of NFTyping.typeComponents: time 6.017e-05/0.005093, allocations: 19.69 kB / 0.6762 GB, free: 2.453 MB / 0.545 GB Notification: Performance of NFTyping.typeBindings: time 0.0001822/0.005281, allocations: 87.2 kB / 0.6763 GB, free: 2.367 MB / 0.545 GB Notification: Performance of NFTyping.typeClassSections: time 0.002926/0.008236, allocations: 1.403 MB / 0.6776 GB, free: 1.008 MB / 0.545 GB Notification: Performance of NFFlatten.flatten: time 0.001347/0.00959, allocations: 1.314 MB / 0.6789 GB, free: 15.69 MB / 0.5606 GB Notification: Performance of NFFlatten.resolveConnections: time 7.277e-05/0.009673, allocations: 28.66 kB / 0.6789 GB, free: 15.66 MB / 0.5606 GB Notification: Performance of NFEvalConstants.evaluate: time 0.0004737/0.01015, allocations: 483.2 kB / 0.6794 GB, free: 15.19 MB / 0.5606 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0004641/0.01062, allocations: 430.8 kB / 0.6798 GB, free: 14.77 MB / 0.5606 GB Notification: Performance of NFPackage.collectConstants: time 0.000154/0.01078, allocations: 108 kB / 0.6799 GB, free: 14.66 MB / 0.5606 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0002103/0.011, allocations: 120 kB / 0.68 GB, free: 14.55 MB / 0.5606 GB Notification: Performance of combineBinaries: time 0.0006676/0.01168, allocations: 0.8227 MB / 0.6808 GB, free: 13.72 MB / 0.5606 GB Notification: Performance of replaceArrayConstructors: time 0.0001454/0.01183, allocations: 264 kB / 0.6811 GB, free: 13.46 MB / 0.5606 GB Notification: Performance of NFVerifyModel.verify: time 0.0001551/0.01199, allocations: 99.88 kB / 0.6812 GB, free: 13.36 MB / 0.5606 GB Notification: Performance of FrontEnd: time 4.37e-05/0.01204, allocations: 15.88 kB / 0.6812 GB, free: 13.34 MB / 0.5606 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 15 (15) * Number of variables: 15 (15) Notification: Performance of Bindings: time 0.0026/0.01465, allocations: 2.605 MB / 0.6837 GB, free: 10.63 MB / 0.5606 GB Notification: Performance of FunctionAlias: time 0.0005865/0.01524, allocations: 0.5003 MB / 0.6842 GB, free: 10.13 MB / 0.5606 GB Notification: Performance of Early Inline: time 0.003093/0.01834, allocations: 3.068 MB / 0.6872 GB, free: 7.031 MB / 0.5606 GB Notification: Performance of simplify1: time 3.239e-05/0.01839, allocations: 31.94 kB / 0.6873 GB, free: 7 MB / 0.5606 GB Notification: Performance of Alias: time 0.0001536/0.01855, allocations: 157.4 kB / 0.6874 GB, free: 6.805 MB / 0.5606 GB Notification: Performance of simplify2: time 2.292e-05/0.01858, allocations: 31.94 kB / 0.6874 GB, free: 6.773 MB / 0.5606 GB Notification: Performance of Events: time 0.002865/0.02145, allocations: 2.215 MB / 0.6896 GB, free: 4.543 MB / 0.5606 GB Notification: Performance of Detect States: time 0.001951/0.02342, allocations: 1.819 MB / 0.6914 GB, free: 2.711 MB / 0.5606 GB Notification: Performance of Partitioning: time 0.0004105/0.02384, allocations: 313.5 kB / 0.6917 GB, free: 2.289 MB / 0.5606 GB Notification: Performance of Causalize: time 0.001339/0.02519, allocations: 1.237 MB / 0.6929 GB, free: 0.9414 MB / 0.5606 GB Notification: Performance of After Index Reduction Inline: time 0.003007/0.02821, allocations: 2.494 MB / 0.6953 GB, free: 14.42 MB / 0.5762 GB Notification: Performance of Inline: time 0.003652/0.03187, allocations: 3.531 MB / 0.6988 GB, free: 10.85 MB / 0.5762 GB Notification: Performance of Partitioning: time 0.0001059/0.032, allocations: 83.53 kB / 0.6988 GB, free: 10.76 MB / 0.5762 GB Notification: Performance of Cleanup: time 8.216e-05/0.03209, allocations: 71.84 kB / 0.6989 GB, free: 10.69 MB / 0.5762 GB Warning: NBResolveSingularities.balanceInitialization reports an overdetermined initialization! Checking for consistency is not yet supported, following equations had to be removed: [ALGO] (3) ($RES_SIM_0) [----] booPul_c5.t0 := if $FUN_15 + booPul_c5.period * integer(time / booPul_c5.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_15 + booPul_c5.period * integer(time / booPul_c5.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_15 + booPul_c5.period * integer(time / booPul_c5.period))); [----] booPul_c5.t1 := booPul_c5.t0 + booPul_c5.width * booPul_c5.period; [----] if time + booPul_c5.period < booPul_c5.t1 then [----] booPul_c5.t0 := booPul_c5.t0 - booPul_c5.period; [----] booPul_c5.t1 := booPul_c5.t1 - booPul_c5.period; [----] end if; [----] if time >= booPul_c5.t1 then [----] booPul_c5.t0 := booPul_c5.t0 + booPul_c5.period; [----] elseif time < booPul_c5.t0 then [----] booPul_c5.t1 := booPul_c5.t1 - booPul_c5.period; [----] end if; [----] if booPul_c5.t0 < booPul_c5.t1 then [----] assert(booPul_c5.t0 <= time and time < booPul_c5.t1, "Pulse.booPul_c5: Implementation error in initial time calculation: t0 = " + String(booPul_c5.t0, 6, 0, true) + ", t1 = " + String(booPul_c5.t1, 6, 0, true) + ", period = " + String(booPul_c5.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c5.y := time >= booPul_c5.t0 and time < booPul_c5.t1; [----] elseif true then [----] assert(booPul_c5.t1 <= time and time < booPul_c5.t0, "Pulse.booPul_c5: Implementation error in initial time calculation: t0 = " + String(booPul_c5.t0, 6, 0, true) + ", t1 = " + String(booPul_c5.t1, 6, 0, true) + ", period = " + String(booPul_c5.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c5.y := not (time >= booPul_c5.t1 and time < booPul_c5.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_1) [----] booPul_b5.t0 := if $FUN_14 + booPul_b5.period * integer(time / booPul_b5.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_14 + booPul_b5.period * integer(time / booPul_b5.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_14 + booPul_b5.period * integer(time / booPul_b5.period))); [----] booPul_b5.t1 := booPul_b5.t0 + booPul_b5.width * booPul_b5.period; [----] if time + booPul_b5.period < booPul_b5.t1 then [----] booPul_b5.t0 := booPul_b5.t0 - booPul_b5.period; [----] booPul_b5.t1 := booPul_b5.t1 - booPul_b5.period; [----] end if; [----] if time >= booPul_b5.t1 then [----] booPul_b5.t0 := booPul_b5.t0 + booPul_b5.period; [----] elseif time < booPul_b5.t0 then [----] booPul_b5.t1 := booPul_b5.t1 - booPul_b5.period; [----] end if; [----] if booPul_b5.t0 < booPul_b5.t1 then [----] assert(booPul_b5.t0 <= time and time < booPul_b5.t1, "Pulse.booPul_b5: Implementation error in initial time calculation: t0 = " + String(booPul_b5.t0, 6, 0, true) + ", t1 = " + String(booPul_b5.t1, 6, 0, true) + ", period = " + String(booPul_b5.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b5.y := time >= booPul_b5.t0 and time < booPul_b5.t1; [----] elseif true then [----] assert(booPul_b5.t1 <= time and time < booPul_b5.t0, "Pulse.booPul_b5: Implementation error in initial time calculation: t0 = " + String(booPul_b5.t0, 6, 0, true) + ", t1 = " + String(booPul_b5.t1, 6, 0, true) + ", period = " + String(booPul_b5.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b5.y := not (time >= booPul_b5.t1 and time < booPul_b5.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_2) [----] booPul_a5.t0 := if $FUN_13 + booPul_a5.period * integer(time / booPul_a5.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_13 + booPul_a5.period * integer(time / booPul_a5.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_13 + booPul_a5.period * integer(time / booPul_a5.period))); [----] booPul_a5.t1 := booPul_a5.t0 + booPul_a5.width * booPul_a5.period; [----] if time + booPul_a5.period < booPul_a5.t1 then [----] booPul_a5.t0 := booPul_a5.t0 - booPul_a5.period; [----] booPul_a5.t1 := booPul_a5.t1 - booPul_a5.period; [----] end if; [----] if time >= booPul_a5.t1 then [----] booPul_a5.t0 := booPul_a5.t0 + booPul_a5.period; [----] elseif time < booPul_a5.t0 then [----] booPul_a5.t1 := booPul_a5.t1 - booPul_a5.period; [----] end if; [----] if booPul_a5.t0 < booPul_a5.t1 then [----] assert(booPul_a5.t0 <= time and time < booPul_a5.t1, "Pulse.booPul_a5: Implementation error in initial time calculation: t0 = " + String(booPul_a5.t0, 6, 0, true) + ", t1 = " + String(booPul_a5.t1, 6, 0, true) + ", period = " + String(booPul_a5.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a5.y := time >= booPul_a5.t0 and time < booPul_a5.t1; [----] elseif true then [----] assert(booPul_a5.t1 <= time and time < booPul_a5.t0, "Pulse.booPul_a5: Implementation error in initial time calculation: t0 = " + String(booPul_a5.t0, 6, 0, true) + ", t1 = " + String(booPul_a5.t1, 6, 0, true) + ", period = " + String(booPul_a5.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a5.y := not (time >= booPul_a5.t1 and time < booPul_a5.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_3) [----] booPul_c4.t0 := if $FUN_12 + booPul_c4.period * integer(time / booPul_c4.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_12 + booPul_c4.period * integer(time / booPul_c4.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_12 + booPul_c4.period * integer(time / booPul_c4.period))); [----] booPul_c4.t1 := booPul_c4.t0 + booPul_c4.width * booPul_c4.period; [----] if time + booPul_c4.period < booPul_c4.t1 then [----] booPul_c4.t0 := booPul_c4.t0 - booPul_c4.period; [----] booPul_c4.t1 := booPul_c4.t1 - booPul_c4.period; [----] end if; [----] if time >= booPul_c4.t1 then [----] booPul_c4.t0 := booPul_c4.t0 + booPul_c4.period; [----] elseif time < booPul_c4.t0 then [----] booPul_c4.t1 := booPul_c4.t1 - booPul_c4.period; [----] end if; [----] if booPul_c4.t0 < booPul_c4.t1 then [----] assert(booPul_c4.t0 <= time and time < booPul_c4.t1, "Pulse.booPul_c4: Implementation error in initial time calculation: t0 = " + String(booPul_c4.t0, 6, 0, true) + ", t1 = " + String(booPul_c4.t1, 6, 0, true) + ", period = " + String(booPul_c4.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c4.y := time >= booPul_c4.t0 and time < booPul_c4.t1; [----] elseif true then [----] assert(booPul_c4.t1 <= time and time < booPul_c4.t0, "Pulse.booPul_c4: Implementation error in initial time calculation: t0 = " + String(booPul_c4.t0, 6, 0, true) + ", t1 = " + String(booPul_c4.t1, 6, 0, true) + ", period = " + String(booPul_c4.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c4.y := not (time >= booPul_c4.t1 and time < booPul_c4.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_4) [----] booPul_b4.t0 := if $FUN_11 + booPul_b4.period * integer(time / booPul_b4.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_11 + booPul_b4.period * integer(time / booPul_b4.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_11 + booPul_b4.period * integer(time / booPul_b4.period))); [----] booPul_b4.t1 := booPul_b4.t0 + booPul_b4.width * booPul_b4.period; [----] if time + booPul_b4.period < booPul_b4.t1 then [----] booPul_b4.t0 := booPul_b4.t0 - booPul_b4.period; [----] booPul_b4.t1 := booPul_b4.t1 - booPul_b4.period; [----] end if; [----] if time >= booPul_b4.t1 then [----] booPul_b4.t0 := booPul_b4.t0 + booPul_b4.period; [----] elseif time < booPul_b4.t0 then [----] booPul_b4.t1 := booPul_b4.t1 - booPul_b4.period; [----] end if; [----] if booPul_b4.t0 < booPul_b4.t1 then [----] assert(booPul_b4.t0 <= time and time < booPul_b4.t1, "Pulse.booPul_b4: Implementation error in initial time calculation: t0 = " + String(booPul_b4.t0, 6, 0, true) + ", t1 = " + String(booPul_b4.t1, 6, 0, true) + ", period = " + String(booPul_b4.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b4.y := time >= booPul_b4.t0 and time < booPul_b4.t1; [----] elseif true then [----] assert(booPul_b4.t1 <= time and time < booPul_b4.t0, "Pulse.booPul_b4: Implementation error in initial time calculation: t0 = " + String(booPul_b4.t0, 6, 0, true) + ", t1 = " + String(booPul_b4.t1, 6, 0, true) + ", period = " + String(booPul_b4.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b4.y := not (time >= booPul_b4.t1 and time < booPul_b4.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_5) [----] booPul_a4.t0 := if $FUN_10 + booPul_a4.period * integer(time / booPul_a4.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_10 + booPul_a4.period * integer(time / booPul_a4.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_10 + booPul_a4.period * integer(time / booPul_a4.period))); [----] booPul_a4.t1 := booPul_a4.t0 + booPul_a4.width * booPul_a4.period; [----] if time + booPul_a4.period < booPul_a4.t1 then [----] booPul_a4.t0 := booPul_a4.t0 - booPul_a4.period; [----] booPul_a4.t1 := booPul_a4.t1 - booPul_a4.period; [----] end if; [----] if time >= booPul_a4.t1 then [----] booPul_a4.t0 := booPul_a4.t0 + booPul_a4.period; [----] elseif time < booPul_a4.t0 then [----] booPul_a4.t1 := booPul_a4.t1 - booPul_a4.period; [----] end if; [----] if booPul_a4.t0 < booPul_a4.t1 then [----] assert(booPul_a4.t0 <= time and time < booPul_a4.t1, "Pulse.booPul_a4: Implementation error in initial time calculation: t0 = " + String(booPul_a4.t0, 6, 0, true) + ", t1 = " + String(booPul_a4.t1, 6, 0, true) + ", period = " + String(booPul_a4.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a4.y := time >= booPul_a4.t0 and time < booPul_a4.t1; [----] elseif true then [----] assert(booPul_a4.t1 <= time and time < booPul_a4.t0, "Pulse.booPul_a4: Implementation error in initial time calculation: t0 = " + String(booPul_a4.t0, 6, 0, true) + ", t1 = " + String(booPul_a4.t1, 6, 0, true) + ", period = " + String(booPul_a4.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a4.y := not (time >= booPul_a4.t1 and time < booPul_a4.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_6) [----] booPul_c3.t0 := if $FUN_9 + booPul_c3.period * integer(time / booPul_c3.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_9 + booPul_c3.period * integer(time / booPul_c3.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_9 + booPul_c3.period * integer(time / booPul_c3.period))); [----] booPul_c3.t1 := booPul_c3.t0 + booPul_c3.width * booPul_c3.period; [----] if time + booPul_c3.period < booPul_c3.t1 then [----] booPul_c3.t0 := booPul_c3.t0 - booPul_c3.period; [----] booPul_c3.t1 := booPul_c3.t1 - booPul_c3.period; [----] end if; [----] if time >= booPul_c3.t1 then [----] booPul_c3.t0 := booPul_c3.t0 + booPul_c3.period; [----] elseif time < booPul_c3.t0 then [----] booPul_c3.t1 := booPul_c3.t1 - booPul_c3.period; [----] end if; [----] if booPul_c3.t0 < booPul_c3.t1 then [----] assert(booPul_c3.t0 <= time and time < booPul_c3.t1, "Pulse.booPul_c3: Implementation error in initial time calculation: t0 = " + String(booPul_c3.t0, 6, 0, true) + ", t1 = " + String(booPul_c3.t1, 6, 0, true) + ", period = " + String(booPul_c3.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c3.y := time >= booPul_c3.t0 and time < booPul_c3.t1; [----] elseif true then [----] assert(booPul_c3.t1 <= time and time < booPul_c3.t0, "Pulse.booPul_c3: Implementation error in initial time calculation: t0 = " + String(booPul_c3.t0, 6, 0, true) + ", t1 = " + String(booPul_c3.t1, 6, 0, true) + ", period = " + String(booPul_c3.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c3.y := not (time >= booPul_c3.t1 and time < booPul_c3.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_7) [----] booPul_b3.t0 := if $FUN_8 + booPul_b3.period * integer(time / booPul_b3.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_8 + booPul_b3.period * integer(time / booPul_b3.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_8 + booPul_b3.period * integer(time / booPul_b3.period))); [----] booPul_b3.t1 := booPul_b3.t0 + booPul_b3.width * booPul_b3.period; [----] if time + booPul_b3.period < booPul_b3.t1 then [----] booPul_b3.t0 := booPul_b3.t0 - booPul_b3.period; [----] booPul_b3.t1 := booPul_b3.t1 - booPul_b3.period; [----] end if; [----] if time >= booPul_b3.t1 then [----] booPul_b3.t0 := booPul_b3.t0 + booPul_b3.period; [----] elseif time < booPul_b3.t0 then [----] booPul_b3.t1 := booPul_b3.t1 - booPul_b3.period; [----] end if; [----] if booPul_b3.t0 < booPul_b3.t1 then [----] assert(booPul_b3.t0 <= time and time < booPul_b3.t1, "Pulse.booPul_b3: Implementation error in initial time calculation: t0 = " + String(booPul_b3.t0, 6, 0, true) + ", t1 = " + String(booPul_b3.t1, 6, 0, true) + ", period = " + String(booPul_b3.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b3.y := time >= booPul_b3.t0 and time < booPul_b3.t1; [----] elseif true then [----] assert(booPul_b3.t1 <= time and time < booPul_b3.t0, "Pulse.booPul_b3: Implementation error in initial time calculation: t0 = " + String(booPul_b3.t0, 6, 0, true) + ", t1 = " + String(booPul_b3.t1, 6, 0, true) + ", period = " + String(booPul_b3.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b3.y := not (time >= booPul_b3.t1 and time < booPul_b3.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_8) [----] booPul_a3.t0 := if $FUN_7 + booPul_a3.period * integer(time / booPul_a3.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_7 + booPul_a3.period * integer(time / booPul_a3.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_7 + booPul_a3.period * integer(time / booPul_a3.period))); [----] booPul_a3.t1 := booPul_a3.t0 + booPul_a3.width * booPul_a3.period; [----] if time + booPul_a3.period < booPul_a3.t1 then [----] booPul_a3.t0 := booPul_a3.t0 - booPul_a3.period; [----] booPul_a3.t1 := booPul_a3.t1 - booPul_a3.period; [----] end if; [----] if time >= booPul_a3.t1 then [----] booPul_a3.t0 := booPul_a3.t0 + booPul_a3.period; [----] elseif time < booPul_a3.t0 then [----] booPul_a3.t1 := booPul_a3.t1 - booPul_a3.period; [----] end if; [----] if booPul_a3.t0 < booPul_a3.t1 then [----] assert(booPul_a3.t0 <= time and time < booPul_a3.t1, "Pulse.booPul_a3: Implementation error in initial time calculation: t0 = " + String(booPul_a3.t0, 6, 0, true) + ", t1 = " + String(booPul_a3.t1, 6, 0, true) + ", period = " + String(booPul_a3.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a3.y := time >= booPul_a3.t0 and time < booPul_a3.t1; [----] elseif true then [----] assert(booPul_a3.t1 <= time and time < booPul_a3.t0, "Pulse.booPul_a3: Implementation error in initial time calculation: t0 = " + String(booPul_a3.t0, 6, 0, true) + ", t1 = " + String(booPul_a3.t1, 6, 0, true) + ", period = " + String(booPul_a3.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a3.y := not (time >= booPul_a3.t1 and time < booPul_a3.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_9) [----] booPul_c2.t0 := if $FUN_6 + booPul_c2.period * integer(time / booPul_c2.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_6 + booPul_c2.period * integer(time / booPul_c2.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_6 + booPul_c2.period * integer(time / booPul_c2.period))); [----] booPul_c2.t1 := booPul_c2.t0 + booPul_c2.width * booPul_c2.period; [----] if time + booPul_c2.period < booPul_c2.t1 then [----] booPul_c2.t0 := booPul_c2.t0 - booPul_c2.period; [----] booPul_c2.t1 := booPul_c2.t1 - booPul_c2.period; [----] end if; [----] if time >= booPul_c2.t1 then [----] booPul_c2.t0 := booPul_c2.t0 + booPul_c2.period; [----] elseif time < booPul_c2.t0 then [----] booPul_c2.t1 := booPul_c2.t1 - booPul_c2.period; [----] end if; [----] if booPul_c2.t0 < booPul_c2.t1 then [----] assert(booPul_c2.t0 <= time and time < booPul_c2.t1, "Pulse.booPul_c2: Implementation error in initial time calculation: t0 = " + String(booPul_c2.t0, 6, 0, true) + ", t1 = " + String(booPul_c2.t1, 6, 0, true) + ", period = " + String(booPul_c2.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c2.y := time >= booPul_c2.t0 and time < booPul_c2.t1; [----] elseif true then [----] assert(booPul_c2.t1 <= time and time < booPul_c2.t0, "Pulse.booPul_c2: Implementation error in initial time calculation: t0 = " + String(booPul_c2.t0, 6, 0, true) + ", t1 = " + String(booPul_c2.t1, 6, 0, true) + ", period = " + String(booPul_c2.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c2.y := not (time >= booPul_c2.t1 and time < booPul_c2.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_10) [----] booPul_b2.t0 := if $FUN_5 + booPul_b2.period * integer(time / booPul_b2.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_5 + booPul_b2.period * integer(time / booPul_b2.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_5 + booPul_b2.period * integer(time / booPul_b2.period))); [----] booPul_b2.t1 := booPul_b2.t0 + booPul_b2.width * booPul_b2.period; [----] if time + booPul_b2.period < booPul_b2.t1 then [----] booPul_b2.t0 := booPul_b2.t0 - booPul_b2.period; [----] booPul_b2.t1 := booPul_b2.t1 - booPul_b2.period; [----] end if; [----] if time >= booPul_b2.t1 then [----] booPul_b2.t0 := booPul_b2.t0 + booPul_b2.period; [----] elseif time < booPul_b2.t0 then [----] booPul_b2.t1 := booPul_b2.t1 - booPul_b2.period; [----] end if; [----] if booPul_b2.t0 < booPul_b2.t1 then [----] assert(booPul_b2.t0 <= time and time < booPul_b2.t1, "Pulse.booPul_b2: Implementation error in initial time calculation: t0 = " + String(booPul_b2.t0, 6, 0, true) + ", t1 = " + String(booPul_b2.t1, 6, 0, true) + ", period = " + String(booPul_b2.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b2.y := time >= booPul_b2.t0 and time < booPul_b2.t1; [----] elseif true then [----] assert(booPul_b2.t1 <= time and time < booPul_b2.t0, "Pulse.booPul_b2: Implementation error in initial time calculation: t0 = " + String(booPul_b2.t0, 6, 0, true) + ", t1 = " + String(booPul_b2.t1, 6, 0, true) + ", period = " + String(booPul_b2.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b2.y := not (time >= booPul_b2.t1 and time < booPul_b2.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_11) [----] booPul_a2.t0 := if $FUN_4 + booPul_a2.period * integer(time / booPul_a2.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_4 + booPul_a2.period * integer(time / booPul_a2.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_4 + booPul_a2.period * integer(time / booPul_a2.period))); [----] booPul_a2.t1 := booPul_a2.t0 + booPul_a2.width * booPul_a2.period; [----] if time + booPul_a2.period < booPul_a2.t1 then [----] booPul_a2.t0 := booPul_a2.t0 - booPul_a2.period; [----] booPul_a2.t1 := booPul_a2.t1 - booPul_a2.period; [----] end if; [----] if time >= booPul_a2.t1 then [----] booPul_a2.t0 := booPul_a2.t0 + booPul_a2.period; [----] elseif time < booPul_a2.t0 then [----] booPul_a2.t1 := booPul_a2.t1 - booPul_a2.period; [----] end if; [----] if booPul_a2.t0 < booPul_a2.t1 then [----] assert(booPul_a2.t0 <= time and time < booPul_a2.t1, "Pulse.booPul_a2: Implementation error in initial time calculation: t0 = " + String(booPul_a2.t0, 6, 0, true) + ", t1 = " + String(booPul_a2.t1, 6, 0, true) + ", period = " + String(booPul_a2.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a2.y := time >= booPul_a2.t0 and time < booPul_a2.t1; [----] elseif true then [----] assert(booPul_a2.t1 <= time and time < booPul_a2.t0, "Pulse.booPul_a2: Implementation error in initial time calculation: t0 = " + String(booPul_a2.t0, 6, 0, true) + ", t1 = " + String(booPul_a2.t1, 6, 0, true) + ", period = " + String(booPul_a2.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a2.y := not (time >= booPul_a2.t1 and time < booPul_a2.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_12) [----] booPul_c1.t0 := if $FUN_3 + booPul_c1.period * integer(time / booPul_c1.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_3 + booPul_c1.period * integer(time / booPul_c1.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_3 + booPul_c1.period * integer(time / booPul_c1.period))); [----] booPul_c1.t1 := booPul_c1.t0 + booPul_c1.width * booPul_c1.period; [----] if time + booPul_c1.period < booPul_c1.t1 then [----] booPul_c1.t0 := booPul_c1.t0 - booPul_c1.period; [----] booPul_c1.t1 := booPul_c1.t1 - booPul_c1.period; [----] end if; [----] if time >= booPul_c1.t1 then [----] booPul_c1.t0 := booPul_c1.t0 + booPul_c1.period; [----] elseif time < booPul_c1.t0 then [----] booPul_c1.t1 := booPul_c1.t1 - booPul_c1.period; [----] end if; [----] if booPul_c1.t0 < booPul_c1.t1 then [----] assert(booPul_c1.t0 <= time and time < booPul_c1.t1, "Pulse.booPul_c1: Implementation error in initial time calculation: t0 = " + String(booPul_c1.t0, 6, 0, true) + ", t1 = " + String(booPul_c1.t1, 6, 0, true) + ", period = " + String(booPul_c1.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c1.y := time >= booPul_c1.t0 and time < booPul_c1.t1; [----] elseif true then [----] assert(booPul_c1.t1 <= time and time < booPul_c1.t0, "Pulse.booPul_c1: Implementation error in initial time calculation: t0 = " + String(booPul_c1.t0, 6, 0, true) + ", t1 = " + String(booPul_c1.t1, 6, 0, true) + ", period = " + String(booPul_c1.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_c1.y := not (time >= booPul_c1.t1 and time < booPul_c1.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_13) [----] booPul_b1.t0 := if $FUN_2 + booPul_b1.period * integer(time / booPul_b1.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_2 + booPul_b1.period * integer(time / booPul_b1.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_2 + booPul_b1.period * integer(time / booPul_b1.period))); [----] booPul_b1.t1 := booPul_b1.t0 + booPul_b1.width * booPul_b1.period; [----] if time + booPul_b1.period < booPul_b1.t1 then [----] booPul_b1.t0 := booPul_b1.t0 - booPul_b1.period; [----] booPul_b1.t1 := booPul_b1.t1 - booPul_b1.period; [----] end if; [----] if time >= booPul_b1.t1 then [----] booPul_b1.t0 := booPul_b1.t0 + booPul_b1.period; [----] elseif time < booPul_b1.t0 then [----] booPul_b1.t1 := booPul_b1.t1 - booPul_b1.period; [----] end if; [----] if booPul_b1.t0 < booPul_b1.t1 then [----] assert(booPul_b1.t0 <= time and time < booPul_b1.t1, "Pulse.booPul_b1: Implementation error in initial time calculation: t0 = " + String(booPul_b1.t0, 6, 0, true) + ", t1 = " + String(booPul_b1.t1, 6, 0, true) + ", period = " + String(booPul_b1.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b1.y := time >= booPul_b1.t0 and time < booPul_b1.t1; [----] elseif true then [----] assert(booPul_b1.t1 <= time and time < booPul_b1.t0, "Pulse.booPul_b1: Implementation error in initial time calculation: t0 = " + String(booPul_b1.t0, 6, 0, true) + ", t1 = " + String(booPul_b1.t1, 6, 0, true) + ", period = " + String(booPul_b1.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_b1.y := not (time >= booPul_b1.t1 and time < booPul_b1.t0); [----] end if; slice: {1, 2}; [ALGO] (3) ($RES_SIM_14) [----] booPul_a1.t0 := if $FUN_1 + booPul_a1.period * integer(time / booPul_a1.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_1 + booPul_a1.period * integer(time / booPul_a1.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_1 + booPul_a1.period * integer(time / booPul_a1.period))); [----] booPul_a1.t1 := booPul_a1.t0 + booPul_a1.width * booPul_a1.period; [----] if time + booPul_a1.period < booPul_a1.t1 then [----] booPul_a1.t0 := booPul_a1.t0 - booPul_a1.period; [----] booPul_a1.t1 := booPul_a1.t1 - booPul_a1.period; [----] end if; [----] if time >= booPul_a1.t1 then [----] booPul_a1.t0 := booPul_a1.t0 + booPul_a1.period; [----] elseif time < booPul_a1.t0 then [----] booPul_a1.t1 := booPul_a1.t1 - booPul_a1.period; [----] end if; [----] if booPul_a1.t0 < booPul_a1.t1 then [----] assert(booPul_a1.t0 <= time and time < booPul_a1.t1, "Pulse.booPul_a1: Implementation error in initial time calculation: t0 = " + String(booPul_a1.t0, 6, 0, true) + ", t1 = " + String(booPul_a1.t1, 6, 0, true) + ", period = " + String(booPul_a1.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a1.y := time >= booPul_a1.t0 and time < booPul_a1.t1; [----] elseif true then [----] assert(booPul_a1.t1 <= time and time < booPul_a1.t0, "Pulse.booPul_a1: Implementation error in initial time calculation: t0 = " + String(booPul_a1.t0, 6, 0, true) + ", t1 = " + String(booPul_a1.t1, 6, 0, true) + ", period = " + String(booPul_a1.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error); [----] booPul_a1.y := not (time >= booPul_a1.t1 and time < booPul_a1.t0); [----] end if; slice: {1, 2}; Notification: Performance of Causalize: time 0.009332/0.04143, allocations: 8.535 MB / 0.7072 GB, free: 2.371 MB / 0.5762 GB Notification: Performance of Tearing: time 1.258e-05/0.04146, allocations: 0 / 0.7072 GB, free: 2.371 MB / 0.5762 GB Notification: Performance of Initialization: time 1.273e-06/0.04147, allocations: 0 / 0.7072 GB, free: 2.371 MB / 0.5762 GB Notification: Performance of Tearing: time 1.764e-05/0.04149, allocations: 4 kB / 0.7072 GB, free: 2.367 MB / 0.5762 GB Notification: Performance of Categorize: time 3.118e-05/0.04153, allocations: 7.938 kB / 0.7073 GB, free: 2.359 MB / 0.5762 GB Notification: Performance of Solve: time 0.0005486/0.04208, allocations: 410.2 kB / 0.7076 GB, free: 1.949 MB / 0.5762 GB Notification: Performance of Jacobian: time 6.823e-06/0.0421, allocations: 3.938 kB / 0.7077 GB, free: 1.945 MB / 0.5762 GB Notification: Partition statistics after passing the back-end: * Number of ODE partitions: ..................... 0 * Number of algebraic partitions: ............... 0 * Number of ODE event partitions: ............... 0 * Number of algebraic event partitions: ......... 15 * Number of clocked partitions: ................. 0 * Number of initial partitions: ................. 1 * Number of initial(lambda=0) partitions: ....... 0 Notification: Variable statistics after passing the back-end: * Number of states: ............................. 0 (0) {} * Number of discrete states: .................... 15 (15) {booPul_c5.y, booPul_b5.y, booPul_a5.y, booPul_c4.y, booPul_b4.y, booPul_a4.y, booPul_c3.y, booPul_b3.y, booPul_a3.y, booPul_c2.y, booPul_b2.y, booPul_a2.y, booPul_c1.y, booPul_b1.y, booPul_a1.y} * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE} * Number of discrete variables: ................. 30 (30) {$TEV_209, $TEV_208, $TEV_207, $TEV_206, $TEV_205, $TEV_204, $TEV_203, $TEV_202, $TEV_201, $TEV_200, $TEV_199, $TEV_198, $TEV_197, $TEV_196, $TEV_195, $TEV_194, $TEV_193, $TEV_192, $TEV_191, $TEV_190, $TEV_189, $TEV_188, $TEV_187, $TEV_186, $TEV_185, $TEV_184, $TEV_183, $TEV_182, $TEV_181, $TEV_180} * Number of top-level inputs: ................... 0 (0) {} Notification: [Simulation] Strong Component statistics after passing the back-end: * Number of single strong components: ........... 30 (scalar:30, array:0, record:0) * Number of multi strong components: ............ 15 (algorithm:0, when:15, if:0, tuple:0) * Number of for-loop strong components: ......... 0 (generic: 0, entwined:0) * Number of algebraic-loop strong components: ... 0 (linear: 0, nonlinear:0) Notification: [Initialization] Strong Component statistics after passing the back-end: * Number of single strong components: ........... 105 (scalar:105, array:0, record:0) * Number of multi strong components: ............ 0 (algorithm:0, when:0, if:0, tuple:0) * Number of for-loop strong components: ......... 0 (generic: 0, entwined:0) * Number of algebraic-loop strong components: ... 0 (linear: 0, nonlinear:0) Notification: Performance of backend: time 7.088e-05/0.04218, allocations: 45.8 kB / 0.7077 GB, free: 1.914 MB / 0.5762 GB [/var/lib/jenkins/ws/OpenModelicaLibraryTestingWork/OpenModelica/OMCompiler/Compiler/NBackEnd/Modules/2_Pre/NBEvents.mo:685:7-685:120:writable] Error: Internal error UnorderedMap.getSafe failed because the key did not exist.