Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Modelica_trunk_Modelica.Electrical.Digital.Examples.FullAdder.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices trunk/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex trunk/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/package.mo", uses=false) Using package Modelica with version trunk (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/package.mo) Using package Complex with version trunk (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex trunk/package.mo) Using package ModelicaServices with version trunk (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices trunk/package.mo) Running command: translateModel(Modelica.Electrical.Digital.Examples.FullAdder,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Adder1.Adder1.AND.G2.x|Adder1.Adder1.AND.G2.y|Adder1.Adder1.XOR.G2.x|Adder1.Adder1.XOR.G2.y|Adder1.Adder2.AND.G2.x|Adder1.Adder2.AND.G2.y|Adder1.Adder2.XOR.G2.x|Adder1.Adder2.XOR.G2.y|Counter.FF1.RS1.TD1.x|Counter.FF1.RS2.TD1.x|Counter.FF2.RS1.TD1.x|Counter.FF2.RS2.TD1.x|Counter.FF3.RS1.TD1.x|Counter.FF3.RS2.TD1.x",fileNamePrefix="Modelica_trunk_Modelica.Electrical.Digital.Examples.FullAdder") translateModel(Modelica.Electrical.Digital.Examples.FullAdder,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Adder1.Adder1.AND.G2.x|Adder1.Adder1.AND.G2.y|Adder1.Adder1.XOR.G2.x|Adder1.Adder1.XOR.G2.y|Adder1.Adder2.AND.G2.x|Adder1.Adder2.AND.G2.y|Adder1.Adder2.XOR.G2.x|Adder1.Adder2.XOR.G2.y|Counter.FF1.RS1.TD1.x|Counter.FF1.RS2.TD1.x|Counter.FF2.RS1.TD1.x|Counter.FF2.RS2.TD1.x|Counter.FF3.RS1.TD1.x|Counter.FF3.RS2.TD1.x",fileNamePrefix="Modelica_trunk_Modelica.Electrical.Digital.Examples.FullAdder") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices trunk/package.mo): time 0.0009843/0.0009843, allocations: 114.5 kB / 18.42 MB, free: 4.676 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex trunk/package.mo): time 0.001151/0.001151, allocations: 216.6 kB / 19.37 MB, free: 3.727 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica trunk/package.mo): time 1.263/1.263, allocations: 227.4 MB / 247.5 MB, free: 10.36 MB / 206.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.212e-05/2.222e-05, allocations: 4.531 kB / 308.3 MB, free: 15.96 MB / 254.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.FullAdder): time 0.005029/0.005065, allocations: 4.931 MB / 313.2 MB, free: 11.02 MB / 254.1 MB Notification: Performance of NFInst.instExpressions: time 0.003764/0.008849, allocations: 2.19 MB / 315.4 MB, free: 8.82 MB / 254.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0002973/0.00916, allocations: 19.88 kB / 315.4 MB, free: 8.801 MB / 254.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0003643/0.009531, allocations: 194.2 kB / 315.6 MB, free: 8.609 MB / 254.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0003378/0.009926, allocations: 175.2 kB / 315.8 MB, free: 8.438 MB / 254.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001111/0.01104, allocations: 0.7102 MB / 316.5 MB, free: 7.727 MB / 254.1 MB Notification: Performance of NFFlatten.flatten: time 0.001602/0.01266, allocations: 2.08 MB / 318.6 MB, free: 5.645 MB / 254.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0008584/0.01352, allocations: 0.7899 MB / 319.4 MB, free: 4.828 MB / 254.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.002203/0.01573, allocations: 2.561 MB / 321.9 MB, free: 2.262 MB / 254.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.001054/0.0168, allocations: 1.027 MB / 323 MB, free: 1.23 MB / 254.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0003472/0.01716, allocations: 236 kB / 323.2 MB, free: 1 MB / 254.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0003288/0.01749, allocations: 236 kB / 323.4 MB, free: 0.7695 MB / 254.1 MB Notification: Performance of combineBinaries: time 0.001709/0.01921, allocations: 2.174 MB / 325.6 MB, free: 14.57 MB / 270.1 MB Notification: Performance of replaceArrayConstructors: time 0.0005561/0.01977, allocations: 1.101 MB / 326.7 MB, free: 13.46 MB / 270.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0002757/0.02006, allocations: 239.3 kB / 326.9 MB, free: 13.22 MB / 270.1 MB Notification: Performance of FrontEnd: time 0.0001557/0.02022, allocations: 55.5 kB / 327 MB, free: 13.17 MB / 270.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.006143/0.02637, allocations: 6.774 MB / 333.8 MB, free: 6.191 MB / 270.1 MB Notification: Performance of FunctionAlias: time 0.0007441/0.02712, allocations: 0.7215 MB / 334.5 MB, free: 5.469 MB / 270.1 MB Notification: Performance of Early Inline: time 0.004585/0.03171, allocations: 4.818 MB / 339.3 MB, free: 0.5859 MB / 270.1 MB Notification: Performance of simplify1: time 0.000365/0.03209, allocations: 259.3 kB / 339.6 MB, free: 340 kB / 270.1 MB Notification: Performance of Alias: time 0.005221/0.03732, allocations: 5.117 MB / 344.7 MB, free: 10.88 MB / 286.1 MB Notification: Performance of simplify2: time 0.000349/0.03768, allocations: 203.4 kB / 344.9 MB, free: 10.68 MB / 286.1 MB Notification: Performance of Events: time 0.001652/0.03934, allocations: 1.426 MB / 346.3 MB, free: 9.219 MB / 286.1 MB Notification: Performance of Detect States: time 0.002238/0.04158, allocations: 2.447 MB / 348.8 MB, free: 6.723 MB / 286.1 MB Notification: Performance of Partitioning: time 0.002001/0.0436, allocations: 1.918 MB / 350.7 MB, free: 4.77 MB / 286.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 < 2.2250738585072014e-308 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 < 2.2250738585072014e-308 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 < 2.2250738585072014e-308 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 < 2.2250738585072014e-308 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}