Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.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.1_Modelica.Electrical.Digital.Examples.FullAdder")
translateModel(Modelica.Electrical.Digital.Examples.FullAdder,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.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.001366/0.001366, allocations: 105.9 kB / 16.42 MB, free: 6.52 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.001314/0.001314, allocations: 186 kB / 17.35 MB, free: 5.73 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.381/1.381, allocations: 205.1 MB / 223.2 MB, free: 12.23 MB / 190.1 MB
Notification: Performance of FrontEnd - Absyn->SCode: time 2.812e-05/2.813e-05, allocations: 7.062 kB / 327.2 MB, free: 3.332 MB / 270.1 MB
Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.FullAdder): time 0.005075/0.005111, allocations: 4.901 MB / 332.1 MB, free: 14.4 MB / 286.1 MB
Notification: Performance of NFInst.instExpressions: time 0.003862/0.008985, allocations: 2.192 MB / 334.3 MB, free: 12.2 MB / 286.1 MB
Notification: Performance of NFInst.updateImplicitVariability: time 0.0002615/0.009258, allocations: 19.88 kB / 334.3 MB, free: 12.18 MB / 286.1 MB
Notification: Performance of NFTyping.typeComponents: time 0.0003815/0.009646, allocations: 198.2 kB / 334.5 MB, free: 11.98 MB / 286.1 MB
Notification: Performance of NFTyping.typeBindings: time 0.0003392/0.01002, allocations: 178.4 kB / 334.7 MB, free: 11.81 MB / 286.1 MB
Notification: Performance of NFTyping.typeClassSections: time 0.001073/0.0111, allocations: 0.718 MB / 335.4 MB, free: 11.09 MB / 286.1 MB
Notification: Performance of NFFlatten.flatten: time 0.001632/0.01274, allocations: 2.091 MB / 337.5 MB, free: 8.992 MB / 286.1 MB
Notification: Performance of NFFlatten.resolveConnections: time 0.0008586/0.01361, allocations: 0.786 MB / 338.3 MB, free: 8.184 MB / 286.1 MB
Notification: Performance of NFEvalConstants.evaluate: time 0.002158/0.01578, allocations: 2.561 MB / 340.8 MB, free: 5.617 MB / 286.1 MB
Notification: Performance of NFSimplifyModel.simplify: time 0.0009871/0.01678, allocations: 1.027 MB / 341.8 MB, free: 4.586 MB / 286.1 MB
Notification: Performance of NFPackage.collectConstants: time 0.0003145/0.0171, allocations: 232 kB / 342.1 MB, free: 4.359 MB / 286.1 MB
Notification: Performance of NFFlatten.collectFunctions: time 0.0003118/0.01742, allocations: 232 kB / 342.3 MB, free: 4.133 MB / 286.1 MB
Notification: Performance of combineBinaries: time 0.001598/0.01902, allocations: 2.174 MB / 344.5 MB, free: 1.938 MB / 286.1 MB
Notification: Performance of replaceArrayConstructors: time 0.0005761/0.01961, allocations: 1.105 MB / 345.6 MB, free: 0.8164 MB / 286.1 MB
Notification: Performance of NFVerifyModel.verify: time 0.0002258/0.01984, allocations: 235.4 kB / 345.8 MB, free: 0.5859 MB / 286.1 MB
Notification: Performance of FrontEnd: time 0.0001063/0.01995, allocations: 59.44 kB / 345.9 MB, free: 0.5273 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.00577/0.02573, allocations: 6.8 MB / 352.7 MB, free: 9.531 MB / 302.1 MB
Notification: Performance of FunctionAlias: time 0.0007378/0.02648, allocations: 0.7137 MB / 353.4 MB, free: 8.816 MB / 302.1 MB
Notification: Performance of Early Inline: time 0.00465/0.03114, allocations: 4.821 MB / 358.2 MB, free: 3.93 MB / 302.1 MB
Notification: Performance of simplify1: time 0.0003345/0.03148, allocations: 267.3 kB / 358.5 MB, free: 3.668 MB / 302.1 MB
Notification: Performance of Alias: time 0.005073/0.03656, allocations: 5.102 MB / 363.6 MB, free: 14.23 MB / 318.1 MB
Notification: Performance of simplify2: time 0.0002698/0.03684, allocations: 211.4 kB / 363.8 MB, free: 14.02 MB / 318.1 MB
Notification: Performance of Events: time 0.001626/0.03848, allocations: 1.424 MB / 365.2 MB, free: 12.55 MB / 318.1 MB
Notification: Performance of Detect States: time 0.002359/0.04085, allocations: 2.447 MB / 367.6 MB, free: 10.05 MB / 318.1 MB
Notification: Performance of Partitioning: time 0.001927/0.04279, allocations: 1.933 MB / 369.6 MB, free: 8.082 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}