Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.Latch.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.Validation.Latch,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.Latch")
translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.Latch,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.Latch")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001217/0.001217, allocations: 109 kB / 16.38 MB, free: 6.43 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.001221/0.001221, allocations: 186.5 kB / 17.31 MB, free: 5.777 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.546/1.546, allocations: 205.1 MB / 223.2 MB, free: 12.23 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.893/1.893, allocations: 292.3 MB / 0.5496 GB, free: 17.56 MB / 462.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.073e-05/2.074e-05, allocations: 2.281 kB / 0.6729 GB, free: 5.867 MB / 0.545 GB
Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.Latch): time 0.001895/0.00193, allocations: 0.7985 MB / 0.6736 GB, free: 5.066 MB / 0.545 GB
Notification: Performance of NFInst.instExpressions: time 0.001767/0.00371, allocations: 1.332 MB / 0.6749 GB, free: 3.719 MB / 0.545 GB
Notification: Performance of NFInst.updateImplicitVariability: time 6.512e-05/0.003788, allocations: 4 kB / 0.675 GB, free: 3.715 MB / 0.545 GB
Notification: Performance of NFTyping.typeComponents: time 4.105e-05/0.003835, allocations: 11.81 kB / 0.675 GB, free: 3.703 MB / 0.545 GB
Notification: Performance of NFTyping.typeBindings: time 7.81e-05/0.003932, allocations: 19.84 kB / 0.675 GB, free: 3.684 MB / 0.545 GB
Notification: Performance of NFTyping.typeClassSections: time 0.0007886/0.004727, allocations: 302.2 kB / 0.6753 GB, free: 3.395 MB / 0.545 GB
Notification: Performance of NFFlatten.flatten: time 0.000347/0.005081, allocations: 387.5 kB / 0.6756 GB, free: 3.016 MB / 0.545 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.0001599/0.005249, allocations: 57.09 kB / 0.6757 GB, free: 2.957 MB / 0.545 GB
Notification: Performance of NFEvalConstants.evaluate: time 0.0001521/0.005408, allocations: 155.7 kB / 0.6758 GB, free: 2.805 MB / 0.545 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.0001643/0.00558, allocations: 147.5 kB / 0.676 GB, free: 2.66 MB / 0.545 GB
Notification: Performance of NFPackage.collectConstants: time 5.342e-05/0.005641, allocations: 36 kB / 0.676 GB, free: 2.625 MB / 0.545 GB
Notification: Performance of NFFlatten.collectFunctions: time 9.364e-05/0.005741, allocations: 43.98 kB / 0.6761 GB, free: 2.582 MB / 0.545 GB
Notification: Performance of combineBinaries: time 0.0002393/0.005987, allocations: 305.8 kB / 0.6764 GB, free: 2.281 MB / 0.545 GB
Notification: Performance of replaceArrayConstructors: time 6.516e-05/0.006058, allocations: 118.3 kB / 0.6765 GB, free: 2.164 MB / 0.545 GB
Notification: Performance of NFVerifyModel.verify: time 5.126e-05/0.006115, allocations: 31.88 kB / 0.6765 GB, free: 2.133 MB / 0.545 GB
Notification: Performance of FrontEnd: time 2.182e-05/0.006141, allocations: 7.938 kB / 0.6765 GB, free: 2.125 MB / 0.545 GB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 26 (26)
 * Number of variables: 26 (26)
Notification: Performance of Bindings: time 0.001019/0.007165, allocations: 0.9389 MB / 0.6774 GB, free: 1.086 MB / 0.545 GB
Notification: Performance of FunctionAlias: time 0.0001279/0.0073, allocations: 91.75 kB / 0.6775 GB, free: 0.9961 MB / 0.545 GB
Notification: Performance of Early Inline: time 0.001113/0.008421, allocations: 1.121 MB / 0.6786 GB, free: 15.84 MB / 0.5606 GB
Notification: Performance of simplify1: time 4.328e-05/0.008474, allocations: 47.91 kB / 0.6786 GB, free: 15.8 MB / 0.5606 GB
Notification: Performance of Alias: time 0.0009302/0.009411, allocations: 0.7363 MB / 0.6794 GB, free: 14.99 MB / 0.5606 GB
Notification: Performance of simplify2: time 3.873e-05/0.009461, allocations: 39.91 kB / 0.6794 GB, free: 14.95 MB / 0.5606 GB
Notification: Performance of Events: time 0.0007764/0.01024, allocations: 0.5646 MB / 0.68 GB, free: 14.39 MB / 0.5606 GB
Notification: Performance of Detect States: time 0.0007033/0.01096, allocations: 0.5414 MB / 0.6805 GB, free: 13.84 MB / 0.5606 GB
Notification: Performance of Partitioning: time 0.0002834/0.01125, allocations: 255.6 kB / 0.6807 GB, free: 13.57 MB / 0.5606 GB
Notification: Performance of Causalize: time 0.001482/0.01274, allocations: 1.421 MB / 0.6821 GB, free: 12.13 MB / 0.5606 GB
Notification: Performance of After Index Reduction Inline: time 0.001058/0.01381, allocations: 1.106 MB / 0.6832 GB, free: 11 MB / 0.5606 GB
Notification: Performance of Inline: time 0.001575/0.0154, allocations: 1.57 MB / 0.6847 GB, free: 9.387 MB / 0.5606 GB
Notification: Performance of Partitioning: time 6.57e-05/0.01547, allocations: 64.97 kB / 0.6848 GB, free: 9.32 MB / 0.5606 GB
Notification: Performance of Cleanup: time 7.087e-05/0.01555, allocations: 79.8 kB / 0.6849 GB, free: 9.242 MB / 0.5606 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)
[----] latInp.t0 := if $FUN_2 + latInp.period * integer(time / latInp.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_2 + latInp.period * integer(time / latInp.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_2 + latInp.period * integer(time / latInp.period)));
[----] latInp.t1 := latInp.t0 + latInp.width * latInp.period;

[----] if time + latInp.period < latInp.t1 then
[----]   latInp.t0 := latInp.t0 - latInp.period;
[----]   latInp.t1 := latInp.t1 - latInp.period;
[----] end if;

[----] if time >= latInp.t1 then
[----]   latInp.t0 := latInp.t0 + latInp.period;
[----] elseif time < latInp.t0 then
[----]   latInp.t1 := latInp.t1 - latInp.period;
[----] end if;

[----] if latInp.t0 < latInp.t1 then
[----]   assert(latInp.t0 <= time and time < latInp.t1, "Latch.latInp: Implementation error in initial time calculation: t0 = " + String(latInp.t0, 6, 0, true) + ", t1 = " + String(latInp.t1, 6, 0, true) + ",  period = " + String(latInp.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error);
[----]   falCleTruIni.u := time >= latInp.t0 and time < latInp.t1;
[----] elseif true then
[----]   assert(latInp.t1 <= time and time < latInp.t0, "Latch.latInp: Implementation error in initial time calculation: t0 = " + String(latInp.t0, 6, 0, true) + ", t1 = " + String(latInp.t1, 6, 0, true) + ",  period = " + String(latInp.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error);
[----]   falCleTruIni.u := not (time >= latInp.t1 and time < latInp.t0);
[----] end if;

         slice: {1, 2};
        [ALGO] (3) ($RES_SIM_1)
[----] cleInp.t0 := if $FUN_1 + cleInp.period * integer(time / cleInp.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_1 + cleInp.period * integer(time / cleInp.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_1 + cleInp.period * integer(time / cleInp.period)));
[----] cleInp.t1 := cleInp.t0 + cleInp.width * cleInp.period;

[----] if time + cleInp.period < cleInp.t1 then
[----]   cleInp.t0 := cleInp.t0 - cleInp.period;
[----]   cleInp.t1 := cleInp.t1 - cleInp.period;
[----] end if;

[----] if time >= cleInp.t1 then
[----]   cleInp.t0 := cleInp.t0 + cleInp.period;
[----] elseif time < cleInp.t0 then
[----]   cleInp.t1 := cleInp.t1 - cleInp.period;
[----] end if;

[----] if cleInp.t0 < cleInp.t1 then
[----]   assert(cleInp.t0 <= time and time < cleInp.t1, "Latch.cleInp: Implementation error in initial time calculation: t0 = " + String(cleInp.t0, 6, 0, true) + ", t1 = " + String(cleInp.t1, 6, 0, true) + ",  period = " + String(cleInp.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error);
[----]   swiCleInp.clr := time >= cleInp.t0 and time < cleInp.t1;
[----] elseif true then
[----]   assert(cleInp.t1 <= time and time < cleInp.t0, "Latch.cleInp: Implementation error in initial time calculation: t0 = " + String(cleInp.t0, 6, 0, true) + ", t1 = " + String(cleInp.t1, 6, 0, true) + ",  period = " + String(cleInp.period, 6, 0, true) + ", time = " + String(time, 6, 0, true), AssertionLevel.error);
[----]   swiCleInp.clr := not (time >= cleInp.t1 and time < cleInp.t0);
[----] end if;

         slice: {1, 2};
        [SCAL] (1) pre(not swiCleInp.clr) = false ($RES_SIM_2)
         slice: {};
        [SCAL] (1) $TEV_24 = false ($RES_SIM_6)
         slice: {};
        [SCAL] (1) pre(not falCleTruIni.u) = false ($RES_SIM_9)
         slice: {};
        [SCAL] (1) pre(not falCleTruIni.u) = false ($RES_SIM_12)
         slice: {};
        [SCAL] (1) $TEV_28 = false ($RES_SIM_14)
         slice: {};
        [SCAL] (1) $TEV_24 = false ($RES_SIM_15)
         slice: {};
        [SCAL] (1) $TEV_30 = false ($RES_SIM_17)
         slice: {};
        [SCAL] (1) $TEV_24 = false ($RES_SIM_18)
         slice: {};
        [SCAL] (1) $TEV_26 = $PRE.swiCleInp.clr ($RES_EVT_50)
         slice: {};
        [SCAL] (1) $TEV_24 = $PRE.falCleTruIni.u ($RES_EVT_48)
         slice: {};
Notification: Performance of Causalize: time 0.004057/0.01962, allocations: 3.967 MB / 0.6887 GB, free: 5.316 MB / 0.5606 GB
Notification: Performance of Tearing: time 1.152e-05/0.01964, allocations: 4 kB / 0.6887 GB, free: 5.312 MB / 0.5606 GB
Notification: Performance of Initialization: time 3.5e-07/0.01965, allocations: 0 / 0.6887 GB, free: 5.312 MB / 0.5606 GB
Notification: Performance of Tearing: time 2.264e-06/0.01966, allocations: 0 / 0.6887 GB, free: 5.312 MB / 0.5606 GB
Notification: Performance of Categorize: time 1.137e-05/0.01967, allocations: 0 / 0.6887 GB, free: 5.312 MB / 0.5606 GB
Notification: Performance of Solve: time 0.0002585/0.01993, allocations: 174 kB / 0.6889 GB, free: 5.141 MB / 0.5606 GB
Notification: Performance of Jacobian: time 3.847e-06/0.01995, allocations: 240 / 0.6889 GB, free: 5.141 MB / 0.5606 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: ......... 3
 * 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: .................... 8 (8) {falCleTruIni.u, swiCleInp.clr, swiCleInp1.y, swiCleInp.y, truCleFalIni.y, falCleFalIni.y, truCleTruIni.y, falCleTruIni.y}
 * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE}
 * Number of discrete variables: ................. 32 (32) {$SEV_23, $SEV_22, $SEV_21, $SEV_20, $SEV_19, $SEV_18, $SEV_17, $SEV_16, $SEV_15, $SEV_14, $SEV_13, $SEV_12, $SEV_11, $SEV_10, $SEV_9, $SEV_8, $SEV_7, $SEV_6, $TEV_37, $TEV_36, $TEV_35, $TEV_34, $TEV_33, $TEV_32, $TEV_31, $TEV_30, $TEV_29, $TEV_28, $TEV_27, $TEV_26, $TEV_25, $TEV_24}
 * Number of top-level inputs: ................... 0 (0) {}
Notification: [Simulation] Strong Component statistics after passing the back-end:
 * Number of single strong components: ........... 32 (scalar:32, array:0, record:0)
 * Number of multi strong components: ............ 8 (algorithm:0, when:8, 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: ........... 56 (scalar:56, array:0, record:0)
 * Number of multi strong components: ............ 6 (algorithm:6, 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 6.248e-05/0.02001, allocations: 51.2 kB / 0.689 GB, free: 5.105 MB / 0.5606 GB
Error: Internal error NBEquation.WhenEquationBody.getBodyAttributes.getConditions failed for condition: not swiCleInp.clr