Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulatingNegativeStartTime.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.TimerAccumulatingNegativeStartTime,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulatingNegativeStartTime")
translateModel(Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulatingNegativeStartTime,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_8_Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulatingNegativeStartTime")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001203/0.001203, allocations: 103.8 kB / 16.38 MB, free: 6.492 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.001175/0.001175, allocations: 192.7 kB / 17.31 MB, free: 5.809 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.394/1.394, allocations: 205.1 MB / 223.2 MB, free: 12.27 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.701/1.701, allocations: 292.3 MB / 0.5496 GB, free: 17.64 MB / 462.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 3.092e-05/3.094e-05, allocations: 5.938 kB / 0.6729 GB, free: 5.855 MB / 0.545 GB
Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.CDL.Logical.Validation.TimerAccumulatingNegativeStartTime): time 0.002239/0.002287, allocations: 0.8456 MB / 0.6737 GB, free: 5.004 MB / 0.545 GB
Notification: Performance of NFInst.instExpressions: time 0.001868/0.004166, allocations: 1.343 MB / 0.675 GB, free: 3.645 MB / 0.545 GB
Notification: Performance of NFInst.updateImplicitVariability: time 6.549e-05/0.004243, allocations: 0 / 0.675 GB, free: 3.645 MB / 0.545 GB
Notification: Performance of NFTyping.typeComponents: time 3.879e-05/0.004289, allocations: 11.86 kB / 0.675 GB, free: 3.633 MB / 0.545 GB
Notification: Performance of NFTyping.typeBindings: time 8.874e-05/0.004386, allocations: 31.72 kB / 0.675 GB, free: 3.602 MB / 0.545 GB
Notification: Performance of NFTyping.typeClassSections: time 0.0007323/0.005132, allocations: 298 kB / 0.6753 GB, free: 3.316 MB / 0.545 GB
Notification: Performance of NFFlatten.flatten: time 0.0003808/0.00552, allocations: 403.4 kB / 0.6757 GB, free: 2.922 MB / 0.545 GB
Notification: Performance of NFFlatten.resolveConnections: time 0.0001406/0.005668, allocations: 40.95 kB / 0.6758 GB, free: 2.879 MB / 0.545 GB
Notification: Performance of NFEvalConstants.evaluate: time 0.0001501/0.005824, allocations: 139.8 kB / 0.6759 GB, free: 2.742 MB / 0.545 GB
Notification: Performance of NFSimplifyModel.simplify: time 0.0001786/0.006021, allocations: 158.5 kB / 0.676 GB, free: 2.59 MB / 0.545 GB
Notification: Performance of NFPackage.collectConstants: time 5.688e-05/0.006085, allocations: 44 kB / 0.6761 GB, free: 2.547 MB / 0.545 GB
Notification: Performance of NFFlatten.collectFunctions: time 0.0001075/0.006198, allocations: 47.98 kB / 0.6761 GB, free: 2.5 MB / 0.545 GB
Notification: Performance of combineBinaries: time 0.0002594/0.006464, allocations: 321.5 kB / 0.6764 GB, free: 2.184 MB / 0.545 GB
Notification: Performance of replaceArrayConstructors: time 7.195e-05/0.006543, allocations: 130.2 kB / 0.6766 GB, free: 2.055 MB / 0.545 GB
Notification: Performance of NFVerifyModel.verify: time 8.122e-05/0.006629, allocations: 47.92 kB / 0.6766 GB, free: 2.008 MB / 0.545 GB
Notification: Performance of FrontEnd: time 1.755e-05/0.006652, allocations: 7.875 kB / 0.6766 GB, free: 2 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: 27 (27)
 * Number of variables: 27 (27)
Notification: Performance of Bindings: time 0.001146/0.007803, allocations: 1.156 MB / 0.6777 GB, free: 0.7422 MB / 0.545 GB
Notification: Performance of FunctionAlias: time 0.0001524/0.007961, allocations: 91.88 kB / 0.6778 GB, free: 0.6523 MB / 0.545 GB
Notification: Performance of Early Inline: time 0.001327/0.009298, allocations: 1.375 MB / 0.6792 GB, free: 15.24 MB / 0.5606 GB
Notification: Performance of simplify1: time 5.806e-05/0.009368, allocations: 71.81 kB / 0.6792 GB, free: 15.17 MB / 0.5606 GB
Notification: Performance of Alias: time 0.000826/0.0102, allocations: 0.7034 MB / 0.6799 GB, free: 14.41 MB / 0.5606 GB
Notification: Performance of simplify2: time 5.011e-05/0.01026, allocations: 63.88 kB / 0.68 GB, free: 14.35 MB / 0.5606 GB
Notification: Performance of Events: time 0.0006689/0.01094, allocations: 0.5292 MB / 0.6805 GB, free: 13.82 MB / 0.5606 GB
Notification: Performance of Detect States: time 0.0006234/0.01157, allocations: 0.6216 MB / 0.6811 GB, free: 13.18 MB / 0.5606 GB
Notification: Performance of Partitioning: time 0.0003421/0.01192, allocations: 328.5 kB / 0.6814 GB, free: 12.82 MB / 0.5606 GB
Notification: Performance of Causalize: time 0.001615/0.01354, allocations: 1.589 MB / 0.683 GB, free: 11.2 MB / 0.5606 GB
Notification: Performance of After Index Reduction Inline: time 0.001084/0.01464, allocations: 1.178 MB / 0.6841 GB, free: 9.988 MB / 0.5606 GB
Notification: Performance of Inline: time 0.001591/0.01624, allocations: 1.678 MB / 0.6858 GB, free: 8.273 MB / 0.5606 GB
Notification: Performance of Partitioning: time 6.86e-05/0.01632, allocations: 59.61 kB / 0.6858 GB, free: 8.207 MB / 0.5606 GB
Notification: Performance of Cleanup: time 7.894e-05/0.0164, allocations: 103.8 kB / 0.6859 GB, free: 8.105 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)
[----] resTim.t0 := if $FUN_2 + resTim.period * integer(time / resTim.period) > 0.0 then 1e-6 * floor(0.5 + 1e6 * ($FUN_2 + resTim.period * integer(time / resTim.period))) else 1e-6 * ceil((-0.5) + 1e6 * ($FUN_2 + resTim.period * integer(time / resTim.period)));
[----] resTim.t1 := resTim.t0 + resTim.width * resTim.period;

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

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

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

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

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

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

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

         slice: {1, 2};
        [SCAL] (1) $TEV_26 = false ($RES_SIM_10)
         slice: {};
        [SCAL] (1) $TEV_27 = false ($RES_SIM_11)
         slice: {};
        [SCAL] (1) $TEV_27 = false ($RES_SIM_16)
         slice: {};
        [SCAL] (1) $TEV_32 = false ($RES_SIM_20)
         slice: {};
        [SCAL] (1) $TEV_27 = false ($RES_SIM_21)
         slice: {};
        [SCAL] (1) $TEV_27 = $PRE.noThr.u ($RES_EVT_54)
         slice: {};
        [SCAL] (1) $TEV_26 = $PRE.noThrWitRes.reset ($RES_EVT_53)
         slice: {};
Notification: Performance of Causalize: time 0.004035/0.02044, allocations: 4.009 MB / 0.6898 GB, free: 4.164 MB / 0.5606 GB
Notification: Performance of Tearing: time 7.985e-06/0.02046, allocations: 0 / 0.6898 GB, free: 4.164 MB / 0.5606 GB
Notification: Performance of Initialization: time 4.1e-07/0.02047, allocations: 3.938 kB / 0.6898 GB, free: 4.16 MB / 0.5606 GB
Notification: Performance of Tearing: time 6.271e-06/0.02048, allocations: 7.922 kB / 0.6898 GB, free: 4.152 MB / 0.5606 GB
Notification: Performance of Categorize: time 1.375e-05/0.0205, allocations: 4 kB / 0.6898 GB, free: 4.148 MB / 0.5606 GB
Notification: Performance of Solve: time 0.0002717/0.02078, allocations: 178 kB / 0.69 GB, free: 3.973 MB / 0.5606 GB
Notification: Performance of Jacobian: time 5.08e-06/0.02079, allocations: 7.922 kB / 0.69 GB, free: 3.965 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: ......... 6
 * 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: .................... 14 (14) {noThrWitRes.reset, noThr.u, thrTimWitRes.entryTime, thrTimWitRes.passed, thrTimWitRes.yAcc, noThrWitRes.passed, noThrWitRes.yAcc, noThrWitRes.entryTime, thrTim.entryTime, thrTim.passed, thrTim.yAcc, noThr.yAcc, noThr.passed, noThr.entryTime}
 * Number of clocked states: ..................... 0 (0) {NOT YET AVAILABLE}
 * Number of discrete variables: ................. 23 (23) {$SEV_13, $SEV_12, $SEV_11, $SEV_10, $SEV_9, $SEV_8, $SEV_7, $SEV_6, $TEV_38, $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: ........... 27 (scalar:27, array:0, record:0)
 * Number of multi strong components: ............ 14 (algorithm:0, when:14, 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: ........... 69 (scalar:69, 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 5.176e-05/0.02085, allocations: 51.31 kB / 0.6901 GB, free: 3.922 MB / 0.5606 GB
Error: Internal error NBEquation.WhenEquationBody.getBodyAttributes.getConditions failed for condition: not noThr.u