Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.1_Modelica.Electrical.Digital.Examples.FullAdder.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.FullAdder,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.Electrical.Digital.Examples.FullAdder")
translateModel(Modelica.Electrical.Digital.Examples.FullAdder,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.Electrical.Digital.Examples.FullAdder")
Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001207/0.001207, allocations: 105.8 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.001154/0.001154, allocations: 192.2 kB / 17.35 MB, free: 5.754 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.288/1.288, allocations: 205.1 MB / 223.2 MB, free: 12.24 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 1.979e-05/1.98e-05, allocations: 3.547 kB / 327.2 MB, free: 3.367 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.FullAdder): time 0.004742/0.004769, allocations: 4.916 MB / 332.1 MB, free: 14.43 MB / 286.1 MB
Notification: Performance of NFInst.instExpressions: time 0.003545/0.008327, allocations: 2.199 MB / 334.3 MB, free: 12.21 MB / 286.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0002277/0.008566, allocations: 19.88 kB / 334.3 MB, free: 12.2 MB / 286.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.000355/0.008928, allocations: 190.2 kB / 334.5 MB, free: 12.01 MB / 286.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0003625/0.009312, allocations: 178.4 kB / 334.7 MB, free: 11.83 MB / 286.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.001012/0.01033, allocations: 0.7102 MB / 335.4 MB, free: 11.12 MB / 286.1 MB
Notification: Performance of NFFlatten.flatten: time 0.001646/0.01199, allocations: 2.091 MB / 337.5 MB, free: 9.023 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.0009228/0.01292, allocations: 0.7899 MB / 338.3 MB, free: 8.211 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.002161/0.01509, allocations: 2.558 MB / 340.8 MB, free: 5.648 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0009664/0.01606, allocations: 1.027 MB / 341.8 MB, free: 4.617 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0003086/0.01638, allocations: 236 kB / 342.1 MB, free: 4.387 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0003097/0.0167, allocations: 236 kB / 342.3 MB, free: 4.156 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.001779/0.01848, allocations: 2.17 MB / 344.5 MB, free: 1.965 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0005583/0.01905, allocations: 1.105 MB / 345.6 MB, free: 0.8438 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.0002194/0.01928, allocations: 235.4 kB / 345.8 MB, free: 0.6133 MB / 286.1 MB
Notification: Performance of FrontEnd: time 9.467e-05/0.01938, allocations: 55.5 kB / 345.9 MB, free: 0.5586 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: 324 (294)
 * Number of variables: 324 (250)
Notification: Performance of Bindings: time 0.005702/0.02509, allocations: 6.8 MB / 352.7 MB, free: 9.559 MB / 302.1 MB
Notification: Performance of FunctionAlias: time 0.0007231/0.02582, allocations: 0.7215 MB / 353.4 MB, free: 8.836 MB / 302.1 MB
Notification: Performance of Early Inline: time 0.004689/0.03051, allocations: 4.81 MB / 358.2 MB, free: 3.961 MB / 302.1 MB
Notification: Performance of simplify1: time 0.0003215/0.03084, allocations: 259.3 kB / 358.4 MB, free: 3.707 MB / 302.1 MB
Notification: Performance of Alias: time 0.005009/0.03586, allocations: 5.117 MB / 363.6 MB, free: 14.25 MB / 318.1 MB
Notification: Performance of simplify2: time 0.0002667/0.03614, allocations: 207.4 kB / 363.8 MB, free: 14.05 MB / 318.1 MB
Notification: Performance of Events: time 0.001637/0.03778, allocations: 1.435 MB / 365.2 MB, free: 12.56 MB / 318.1 MB
Notification: Performance of Detect States: time 0.002354/0.04015, allocations: 2.439 MB / 367.6 MB, free: 10.07 MB / 318.1 MB
Notification: Performance of Partitioning: time 0.001928/0.04209, allocations: 1.941 MB / 369.6 MB, free: 8.098 MB / 318.1 MB
Error: Internal error NBResolveSingularities.noIndexReduction failed.
(8|8) Unmatched Variables
***************************
        [DISC] (1) protected discrete Real Adder1.Adder2.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected discrete Real Adder1.Adder1.AND.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder1.Adder2.AND.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder1.Adder1.XOR.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder1.Adder1.AND.G2.lh
         slice: {}
        [DISC] (1) protected Integer Adder1.Adder2.XOR.G2.lh
         slice: {}
        [DISC] (1) protected discrete Real Adder1.Adder2.AND.G2.t_next
         slice: {}
        [DISC] (1) protected Integer Adder1.Adder1.XOR.G2.lh
         slice: {}

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

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

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

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

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

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

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

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

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

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

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

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

         slice: {4, 5}