Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.2_Modelica.Electrical.Digital.Examples.HalfAdder.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)
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(Modelica.Electrical.Digital.Examples.HalfAdder,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.Electrical.Digital.Examples.HalfAdder")
translateModel(Modelica.Electrical.Digital.Examples.HalfAdder,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.2_Modelica.Electrical.Digital.Examples.HalfAdder")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.0012/0.0012, allocations: 109.1 kB / 17.75 MB, free: 5.352 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.001128/0.001128, allocations: 188.6 kB / 18.68 MB, free: 4.43 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.297/1.297, allocations: 205.1 MB / 224.6 MB, free: 12.25 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.144e-05/2.145e-05, allocations: 2.281 kB / 328.5 MB, free: 3.355 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.HalfAdder): time 0.002932/0.002962, allocations: 2.103 MB / 330.6 MB, free: 1.238 MB / 270.1 MB
Notification: Performance of NFInst.instExpressions: time 0.002044/0.005017, allocations: 1.054 MB / 331.7 MB, free: 180 kB / 270.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 8.798e-05/0.005116, allocations: 4 kB / 331.7 MB, free: 176 kB / 270.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.000169/0.005293, allocations: 43.59 kB / 331.7 MB, free: 132 kB / 270.1 MB
Notification: Performance of NFTyping.typeBindings: time 9.829e-05/0.005409, allocations: 51.56 kB / 331.8 MB, free: 80 kB / 270.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.0003656/0.005781, allocations: 115.8 kB / 331.9 MB, free: 15.96 MB / 286.1 MB
Notification: Performance of NFFlatten.flatten: time 0.0004204/0.006209, allocations: 435.1 kB / 332.3 MB, free: 15.54 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.0002016/0.006418, allocations: 103 kB / 332.4 MB, free: 15.44 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.0008221/0.007247, allocations: 0.9631 MB / 333.4 MB, free: 14.47 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0002195/0.007476, allocations: 195.2 kB / 333.5 MB, free: 14.28 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 6.74e-05/0.007551, allocations: 36 kB / 333.6 MB, free: 14.25 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 6.156e-05/0.007618, allocations: 36 kB / 333.6 MB, free: 14.21 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.0003829/0.008007, allocations: 479.1 kB / 334.1 MB, free: 13.74 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0001335/0.008147, allocations: 248.2 kB / 334.3 MB, free: 13.49 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 6.82e-05/0.008221, allocations: 47.86 kB / 334.4 MB, free: 13.45 MB / 286.1 MB
Notification: Performance of FrontEnd: time 2.362e-05/0.00825, allocations: 8 kB / 334.4 MB, free: 13.44 MB / 286.1 MB
Notification: Model statistics after passing the front-end and creating the data structures used by the back-end:
 * Number of equations: 42 (30)
 * Number of variables: 42 (36)
Notification: Performance of Bindings: time 0.001278/0.009533, allocations: 1.374 MB / 335.8 MB, free: 11.95 MB / 286.1 MB
Notification: Performance of FunctionAlias: time 0.0001805/0.00972, allocations: 135.7 kB / 335.9 MB, free: 11.82 MB / 286.1 MB
Notification: Performance of Early Inline: time 0.0008595/0.01059, allocations: 0.8708 MB / 336.8 MB, free: 10.92 MB / 286.1 MB
Notification: Performance of simplify1: time 4.88e-05/0.01064, allocations: 31.89 kB / 336.8 MB, free: 10.89 MB / 286.1 MB
Notification: Performance of Alias: time 0.0008806/0.01153, allocations: 0.8062 MB / 337.6 MB, free: 10 MB / 286.1 MB
Notification: Performance of simplify2: time 3.253e-05/0.01157, allocations: 19.97 kB / 337.6 MB, free: 9.98 MB / 286.1 MB
Notification: Performance of Events: time 0.0004612/0.01204, allocations: 359.6 kB / 338 MB, free: 9.629 MB / 286.1 MB
Notification: Performance of Detect States: time 0.0006111/0.01266, allocations: 463.1 kB / 338.4 MB, free: 9.16 MB / 286.1 MB
Notification: Performance of Partitioning: time 0.0003674/0.01304, allocations: 344.2 kB / 338.8 MB, free: 8.816 MB / 286.1 MB
Error: Internal error NBResolveSingularities.noIndexReduction failed.
(4|4) Unmatched Variables
***************************
        [DISC] (1) protected Integer Adder.AND.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder.XOR.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder.AND.G2.t_next
         slice: {}

(2|4) Unmatched Equations
***************************
        [ALGO] (6) ($RES_SIM_1)
[----] when {initial(), ((Adder.AND.G2.tLH > 0.0 or Adder.AND.G2.tHL > 0.0) and change(Adder.AND.G2.x)) and not initial()} then
[----]   Adder.AND.G2.y_old := if initial() or $PRE.Adder.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder.AND.G2.y0 else $PRE.Adder.AND.G2.y;
[----]   Adder.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder.AND.G2.y_old, Adder.AND.G2.x];
[----]   Adder.AND.G2.delayTime := if Adder.AND.G2.lh > 0 then Adder.AND.G2.tLH else if Adder.AND.G2.lh < 0 then Adder.AND.G2.tHL else 0.0;
[----]   Adder.AND.G2.t_next := time + Adder.AND.G2.delayTime;

[----]   if Adder.AND.G2.lh == 0 or $FUN_1 < 1e-60 then
[----]     Adder.AND.G2.y_auxiliary := Adder.AND.G2.x;
[----]   end if;
[----] elsewhen time >= Adder.AND.G2.t_next then
[----]   Adder.AND.G2.y_auxiliary := Adder.AND.G2.x;
[----] end when;

[----] Adder.AND.G2.y := if Adder.AND.G2.tLH > 0.0 or Adder.AND.G2.tHL > 0.0 then Adder.AND.G2.y_auxiliary else Adder.AND.G2.x;

         slice: {4, 5}
        [ALGO] (6) ($RES_SIM_0)
[----] when {initial(), ((Adder.XOR.G2.tLH > 0.0 or Adder.XOR.G2.tHL > 0.0) and change(Adder.XOR.G2.x)) and not initial()} then
[----]   Adder.XOR.G2.y_old := if initial() or $PRE.Adder.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder.XOR.G2.y0 else $PRE.Adder.XOR.G2.y;
[----]   Adder.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder.XOR.G2.y_old, Adder.XOR.G2.x];
[----]   Adder.XOR.G2.delayTime := if Adder.XOR.G2.lh > 0 then Adder.XOR.G2.tLH else if Adder.XOR.G2.lh < 0 then Adder.XOR.G2.tHL else 0.0;
[----]   Adder.XOR.G2.t_next := time + Adder.XOR.G2.delayTime;

[----]   if Adder.XOR.G2.lh == 0 or $FUN_2 < 1e-60 then
[----]     Adder.XOR.G2.y_auxiliary := Adder.XOR.G2.x;
[----]   end if;
[----] elsewhen time >= Adder.XOR.G2.t_next then
[----]   Adder.XOR.G2.y_auxiliary := Adder.XOR.G2.x;
[----] end when;

[----] Adder.XOR.G2.y := if Adder.XOR.G2.tLH > 0.0 or Adder.XOR.G2.tHL > 0.0 then Adder.XOR.G2.y_auxiliary else Adder.XOR.G2.x;

         slice: {4, 5}